diff options
Diffstat (limited to 'backends/smt2/smtio.py')
| -rw-r--r-- | backends/smt2/smtio.py | 1 |
1 files changed, 1 insertions, 0 deletions
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 |