cex: make sure traces go to stderr

* src/parse-simulation.h, src/parse-simulation.c (print_parse_state): here.
2026-03-17 00:03:03 +00:00 · 2020-06-11 07:37:37 +02:00
parent 5edac5e15a
commit 9206b15c4e
3 changed files with 11 additions and 8 deletions
--- a/src/counterexample.c
+++ b/src/counterexample.c
@@ -561,6 +561,7 @@ search_state_free (search_state *ss)
  free (ss);
 }

+/* For debugging traces.  */
 static void
 search_state_print (search_state *ss)
 {