diff options
Diffstat (limited to 'backends/smt2/smtio.py')
| -rw-r--r-- | backends/smt2/smtio.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index 62fb5154f..5d0a78485 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -90,7 +90,7 @@ class SmtIo: popen_vargs = ['mathsat'] if self.solver == "boolector": - popen_vargs = ['boolector', '--smt2', '-i', '-m'] + popen_vargs = ['boolector', '--smt2', '-i'] self.unroll = True if self.unroll: @@ -110,6 +110,7 @@ class SmtIo: self.topmod = None def setup(self, logic="ALL", info=None): + self.write("(set-option :produce-models true)") self.write("(set-logic %s)" % logic) if info is not None: self.write("(set-info :source |%s|)" % info) |