From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 4 Jan 2017 11:03:04 +0000 (+0100)
Subject: Fixed "yosys-smtbmc --noprogress"
X-Git-Tag: yosys-0.8~544
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ed812ea39c85139bc18caee9c0d2f6b8e95bc91b;p=yosys.git

Fixed "yosys-smtbmc --noprogress"
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 10a134711..6ec036a3b 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -633,7 +633,7 @@ class SmtOpts:
         elif o == "--noincr":
             self.noincr = True
         elif o == "--noprogress":
-            self.timeinfo = True
+            self.timeinfo = False
         elif o == "--dump-smt2":
             self.debug_file = open(a, "w")
         elif o == "--logic":