From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 29 Oct 2017 12:21:20 +0000 (+0100)
Subject: Fix SMT2 handling of initstate in sub-modules
X-Git-Tag: yosys-0.8~277
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=455c1c9d97330b9d20cafe62cd72c3c3f71d3573;p=yosys.git

Fix SMT2 handling of initstate in sub-modules
---

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index dce7c25de..8daa52eb3 100644
--- a/backends/smt2/smt2.cc
+++ b/backends/smt2/smt2.cc
@@ -811,6 +811,9 @@ struct Smt2Worker
 				Module *m = module->design->module(cell->type);
 				log_assert(m != nullptr);
 
+				hier.push_back(stringf("  (= (|%s_is| state) (|%s_is| %s))\n",
+						get_id(module), get_id(cell->type), cell_state.c_str()));
+
 				for (auto &conn : cell->connections())
 				{
 					Wire *w = m->wire(conn.first);