diff options
| author | Aman Goel <amangoel@umich.edu> | 2019-09-27 12:40:17 -0400 |
|---|---|---|
| committer | Aman Goel <amangoel@umich.edu> | 2019-09-27 12:40:17 -0400 |
| commit | 5eebfabe4286d47a75508677e2bc76e8b422a879 (patch) | |
| tree | 7cbf75e7a39127d09378e1cb941daf6b17d54cfc /backends | |
| parent | cb0dc6e68b9432edc9c30c153954be53c8576911 (diff) | |
| download | yosys-5eebfabe4286d47a75508677e2bc76e8b422a879.tar.gz yosys-5eebfabe4286d47a75508677e2bc76e8b422a879.tar.bz2 yosys-5eebfabe4286d47a75508677e2bc76e8b422a879.zip | |
Corrects btor2 backend
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/btor/btor.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index 4472993d4..f617b7ec2 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -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; } |