github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-04 13:47:27 +00:00
Code Issues Releases Wiki Activity

Merge pull request #1411 from aman-goel/YosysHQ-master

Browse Source 
Corrects BTOR2 backend
This commit is contained in:
Clifford Wolf
2019-09-29 10:36:25 +02:00
committed by GitHub
parent c372e7baf9 5eebfabe42
commit 178c67ea22
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
backends/btor/btor.cc
View File

@@ -897,9 +897,12 @@ struct BtorWorker
int sid = get_bv_sid(GetSize(s));
int nid = next_nid++;
btorf("%d input %d %s\n", nid, sid);
btorf("%d input %d\n", nid, sid);
nid_width[nid] = GetSize(s);
for (int j = 0; j < GetSize(s); j++)
nidbits.push_back(make_pair(nid, j));
i += GetSize(s)-1;
continue;
}