From 1fd3a642c94b642624f05efecff282c195f984d1 Mon Sep 17 00:00:00 2001
From: Claire Xenia Wolf <claire@clairexen.net>
Date: Mon, 28 Feb 2022 10:41:44 +0100
Subject: [PATCH] Hotfix in AIGER witness reader state machine

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
---
 passes/sat/sim.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 1cd0a0338..57d6182c0 100644
--- 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) {
-- 
2.30.2