Bugfix in "yosys-smtbmc --unroll"

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 9bb934a461cb623f5dbdb44abe515fbaa19d30a9..b234270cb717e563c999f529e4e678008404a146 100644 (file)
--- 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):