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

Merge pull request #3243 from nakengelhardt/fix_aiw_comment 

smtbmc: ignore # comment lines
This commit is contained in:
Miodrag Milanović 2022-03-24 17:25:09 +01:00 committed by GitHub
parent 6318db6152 a7ee01065a
commit 89dcd7c31e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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: