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

smtbmc: Remove superfluous `yosys-smt2-timeout` file macro. 

Co-Authored-By: clairexen <claire@symbioticeda.com>
This commit is contained in:
Alberto Gonzalez 2020-05-29 21:30:24 +00:00
parent 9847a4eea8
commit ea30465107
No known key found for this signature in database
GPG Key ID: 8395A8BA109708B2
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
backends/smt2/smtio.py
View File

@ -468,10 +468,6 @@ class SmtIo:
fields = stmt.split() fields = stmt.split()
if fields[1] == "yosys-smt2-timeout":
self.timeout = int(fields[2])
assert self.timeout > 0
if fields[1] == "yosys-smt2-nomem": if fields[1] == "yosys-smt2-nomem":
if self.logic is None: if self.logic is None:
self.logic_ax = False self.logic_ax = False