From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 4 Nov 2019 13:25:13 +0000 (+0100)
Subject: Fix write_aiger bug added in 524af21
X-Git-Tag: working-ls180~973
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5110a34dd74bc96c47d4aef47bc155110de2d87e;p=yosys.git

Fix write_aiger bug added in 524af21

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc
index 3e8b14dee..44718baae 100644
--- a/backends/aiger/aiger.cc
+++ b/backends/aiger/aiger.cc
@@ -91,6 +91,9 @@ struct AigerWriter
 		} else
 		if (alias_map.count(bit)) {
 			a = bit2aig(alias_map.at(bit));
+		} else
+		if (initstate_bits.count(bit)) {
+			a = initstate_ff;
 		}
 
 		if (bit == State::Sx || bit == State::Sz)