diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-12-17 18:57:54 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-12-17 18:57:54 +0100 |
| commit | 292984896b417a50b1597a1e3a66de53bab0f13e (patch) | |
| tree | 7552539b757b0a61eb96ba609ee6f944291ea54e | |
| parent | bbdcc1f9d42618a4a7770868a96e3214dd20f07c (diff) | |
| download | yosys-292984896b417a50b1597a1e3a66de53bab0f13e.tar.gz yosys-292984896b417a50b1597a1e3a66de53bab0f13e.tar.bz2 yosys-292984896b417a50b1597a1e3a66de53bab0f13e.zip | |
Simple fix BTOR memory encoding
| -rw-r--r-- | backends/btor/btor.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index dd041bfaa..3c5381ce6 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -625,7 +625,7 @@ struct BtorWorker btorf("%d read %d %d %d\n", nid2, data_sid, nid_head, wa_nid); int nid3 = next_nid++; - btorf("%d not %d %d %d\n", nid3, data_sid, we_nid); + btorf("%d not %d %d\n", nid3, data_sid, we_nid); int nid4 = next_nid++; btorf("%d and %d %d %d\n", nid4, data_sid, nid2, nid3); @@ -1002,7 +1002,7 @@ struct BtorWorker btorf("%d read %d %d %d\n", nid2, data_sid, nid_head, wa_nid); int nid3 = next_nid++; - btorf("%d not %d %d %d\n", nid3, data_sid, we_nid); + btorf("%d not %d %d\n", nid3, data_sid, we_nid); int nid4 = next_nid++; btorf("%d and %d %d %d\n", nid4, data_sid, nid2, nid3); |