github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-12 16:49:03 +00:00
Code Issues Releases Wiki Activity

Merge pull request #4641 from georgerennie/george/btor_undriven_wires

Browse Source 
write_btor: don't emit undriven bits multiple times
This commit is contained in:
Jannis Harder
2024-11-11 16:17:25 +01:00
committed by GitHub
parent 1b1a6c4aed 268926cb5b
commit 261b44718d
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
backends/btor/btor.cc
View File

@@ -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));