From 292984896b417a50b1597a1e3a66de53bab0f13e Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 17 Dec 2017 18:57:54 +0100 Subject: [PATCH] Simple fix BTOR memory encoding --- backends/btor/btor.cc | 4 ++-- 1 file 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); -- 2.30.2