From ed812ea39c85139bc18caee9c0d2f6b8e95bc91b Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 4 Jan 2017 12:03:04 +0100 Subject: [PATCH] Fixed "yosys-smtbmc --noprogress" --- backends/smt2/smtio.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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": -- 2.30.2