From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 7 Sep 2016 19:01:51 +0000 (+0200)
Subject: Bugfix in "yosys-smtbmc --unroll"
X-Git-Tag: yosys-0.7~70
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=209a3d9ffcb5f7efbe60b0e0d45755329532535e;p=yosys.git

Bugfix in "yosys-smtbmc --unroll"
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 9bb934a46..b234270cb 100644
--- 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):