From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 11 Sep 2016 16:08:56 +0000 (+0200)
Subject: Added missing :produce-models setting to smtio.py
X-Git-Tag: yosys-0.7~64
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6f416c19537fcaab27b26d66c3144b468cec136a;p=yosys.git

Added missing :produce-models setting to smtio.py
---

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)