From 83cad82b295255d59e2162d599bbd4485b688c6a Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 22 Apr 2022 12:04:05 +0200
Subject: [PATCH] latches are always set to zero

---
 passes/sat/sim.cc | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 73e03067b..f480168bd 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -1815,12 +1815,7 @@ struct AIWWriter : public OutputWriter
 				for (int i = 0;; i++)
 				{
 					if (aiw_latches.count(i)) {
-						SigBit bit = aiw_latches.at(i).first;
-						auto v = current[mapping[bit.wire]].bits.at(bit.offset);
-						if (v == State::S1)
-							aiwfile << (aiw_latches.at(i).second ? '0' : '1');
-						else
-							aiwfile << (aiw_latches.at(i).second ? '1' : '0');
+						aiwfile << '0';
 						continue;
 					}
 					aiwfile << '\n';
-- 
2.30.2