From: Claire Xenia Wolf <claire@clairexen.net>
Date: Mon, 28 Feb 2022 09:41:44 +0000 (+0100)
Subject: Hotfix in AIGER witness reader state machine
X-Git-Tag: yosys-0.15~4^2~5
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1fd3a642c94b642624f05efecff282c195f984d1;p=yosys.git

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 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) {