projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: bbdcc1f)
Simple fix BTOR memory encoding
authorClifford Wolf <clifford@clifford.at>
Sun, 17 Dec 2017 17:57:54 +0000 (18:57 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 17 Dec 2017 17:57:54 +0000 (18:57 +0100)
backends/btor/btor.cc patch | blob | history

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index dd041bfaa77bb848df5f70f790a946fdb5e91711..3c5381ce63ebec7b2e01f503876c091cf800950c 100644 (file)
--- 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);