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

ignore # comment lines

This commit is contained in:
N. Engelhardt 2022-03-24 10:19:17 +01:00
parent 6318db6152
commit a7ee01065a
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/smtbmc.py
View File

@ -492,7 +492,7 @@ if aimfile is not None:
got_state = True got_state = True
for entry in f.read().splitlines(): for entry in f.read().splitlines():
if len(entry) == 0 or entry[0] in "bcjfu.": if len(entry) == 0 or entry[0] in "bcjfu.#":
continue continue
if not got_state: if not got_state: