From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 11 Mar 2022 13:04:02 +0000 (+0100)
Subject: handle state names of $anyconst and $anyseq
X-Git-Tag: yosys-0.16~52^2~3
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ebe2ee431eb452e24f833f3bf52a13a8a330a2c3;p=yosys.git

handle state names of $anyconst and $anyseq
---

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index d62cc4c3d..e0283da8a 100644
--- a/backends/btor/btor.cc
+++ b/backends/btor/btor.cc
@@ -678,7 +678,11 @@ struct BtorWorker
 			int sid = get_bv_sid(GetSize(sig_y));
 			int nid = next_nid++;
 
-			btorf("%d state %d\n", nid, sid);
+			btorf("%d state %d", nid, sid);
+			if (sig_y.is_wire() && sig_y.as_wire()->name.c_str()[0]!='$')
+				btorf(" %s\n", log_id(sig_y.as_wire()));
+			else
+				btorf("\n");
 
 			if (cell->type == ID($anyconst)) {
 				int nid2 = next_nid++;