Hotfix in AIGER witness reader state machine

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 1cd0a033803544f07b0cc0722383dca2ba85c44d..57d6182c03a93f53663e19f146d9ca50818d8986 100644 (file)
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -1225,6 +1225,7 @@ struct SimWorker : SimShared
                                case 2:
                                        write_output_header();
                                        top->setState(latches, line);
+                                       state = 3;
                                        break;
                                default:
                                        if (cycle) {