riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fixed "yosys-smtbmc --noprogress"

This commit is contained in:
Clifford Wolf 2017-01-04 12:03:04 +01:00
parent dfb461fe52
commit ed812ea39c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
backends/smt2/smtio.py
View File

@ -633,7 +633,7 @@ class SmtOpts:
elif o == "--noincr": elif o == "--noincr":
self.noincr = True self.noincr = True
elif o == "--noprogress": elif o == "--noprogress":
self.timeinfo = True self.timeinfo = False
elif o == "--dump-smt2": elif o == "--dump-smt2":
self.debug_file = open(a, "w") self.debug_file = open(a, "w")
elif o == "--logic": elif o == "--logic":