mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

Added missing :produce-models setting to smtio.py

Browse source
This commit is contained in:
Clifford Wolf 2016-09-11 18:08:56 +02:00
parent 5199aafca0
commit 6f416c1953
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
backends/smt2/smtio.py
View file

@ -90,7 +90,7 @@ class SmtIo:
popen_vargs = ['mathsat'] popen_vargs = ['mathsat']
if self.solver == "boolector": if self.solver == "boolector":
popen_vargs = ['boolector', '--smt2', '-i', '-m'] popen_vargs = ['boolector', '--smt2', '-i']
self.unroll = True self.unroll = True
if self.unroll: if self.unroll:
@ -110,6 +110,7 @@ class SmtIo:
self.topmod = None self.topmod = None
def setup(self, logic="ALL", info=None): def setup(self, logic="ALL", info=None):
self.write("(set-option :produce-models true)")
self.write("(set-logic %s)" % logic) self.write("(set-logic %s)" % logic)
if info is not None: if info is not None:
self.write("(set-info :source |%s|)" % info) self.write("(set-info :source |%s|)" % info)