From ebe2ee431eb452e24f833f3bf52a13a8a330a2c3 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 11 Mar 2022 14:04:02 +0100
Subject: [PATCH] handle state names of $anyconst and $anyseq

---
 backends/btor/btor.cc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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++;
-- 
2.30.2