write_btor: don't emit undriven bits multiple times

* Fixes YosysHQ#4640
georgerennie · Oct 8, 2024 · 268926c · 268926c
1 parent 535b330
commit 268926c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
@@ -1077,6 +1077,7 @@ struct BtorWorker
 							btorf("%d input %d\n", nid, sid);
 							ywmap_input(s);
 							nid_width[nid] = GetSize(s);
+							add_nid_sig(nid, s);
 
 							for (int j = 0; j < GetSize(s); j++)
 								nidbits.push_back(make_pair(nid, j));