From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 3 Oct 2016 18:43:38 +0000 (+0200)
Subject: yosys-smtbmc: ABC is a QF_BV solver
X-Git-Tag: yosys-0.7~41
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1114ce9210dfb9a0db981029377dc859abc3aa34;p=yosys.git

yosys-smtbmc: ABC is a QF_BV solver
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 41de08af4..eccb65014 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -98,6 +98,7 @@ class SmtIo:
 
         if self.solver == "abc":
             self.popen_vargs = ['yosys-abc', '-S', '%blast; &sweep -C 5000; &syn4; &cec -s -m -C 2000']
+            self.logic_ax = False
             self.unroll = True
             self.noincr = True