mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

Corrects btor2 backend

Browse source
This commit is contained in:
Aman Goel 2019-09-27 12:40:17 -04:00
parent cb0dc6e68b
commit 5eebfabe42
1 changed files with 4 additions and 1 deletions
Show stats 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 sid = get_bv_sid(GetSize(s));
int nid = next_nid++; int nid = next_nid++;
btorf("%d input %d %s\n", nid, sid); btorf("%d input %d\n", nid, sid);
nid_width[nid] = GetSize(s); nid_width[nid] = GetSize(s);
for (int j = 0; j < GetSize(s); j++)
nidbits.push_back(make_pair(nid, j));
i += GetSize(s)-1; i += GetSize(s)-1;
continue; continue;
} }