Bugfix in "yosys-smtbmc --unroll"

2016-09-07 21:01:51 +02:00 · 2016-09-07 21:01:51 +02:00 · 209a3d9ffc
commit 209a3d9ffc
parent 6770d6e0f8
1 changed files with 1 additions and 1 deletions
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@ -533,7 +533,7 @@ class SmtOpts:
        self.solver = "z3"
        self.debug_print = False
        self.debug_file = None
-        self.unroll = True
+        self.unroll = False
        self.timeinfo = True

    def handle(self, o, a):