diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-10-03 20:43:38 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-10-03 20:43:38 +0200 |
| commit | 1114ce9210dfb9a0db981029377dc859abc3aa34 (patch) | |
| tree | eb356b96692b9055ec32482ee72b7094028f4e87 | |
| parent | 99b2093bc4395d2a9509c70abc11bd95b00a3584 (diff) | |
| download | yosys-1114ce9210dfb9a0db981029377dc859abc3aa34.tar.gz yosys-1114ce9210dfb9a0db981029377dc859abc3aa34.tar.bz2 yosys-1114ce9210dfb9a0db981029377dc859abc3aa34.zip | |
yosys-smtbmc: ABC is a QF_BV solver
| -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 |