diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-03-24 17:25:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-24 17:25:09 +0100 |
| commit | 89dcd7c31ef1dea2201f9514c0c4b5324e6066df (patch) | |
| tree | 310c7442a0b8c9a665af7d34cb8658627e7e5abd /backends/smt2 | |
| parent | 6318db6152d053244adb316fda6e01a32a4f3c72 (diff) | |
| parent | a7ee01065acc3522277230bcb31859193033d723 (diff) | |
| download | yosys-89dcd7c31ef1dea2201f9514c0c4b5324e6066df.tar.gz yosys-89dcd7c31ef1dea2201f9514c0c4b5324e6066df.tar.bz2 yosys-89dcd7c31ef1dea2201f9514c0c4b5324e6066df.zip | |
Merge pull request #3243 from nakengelhardt/fix_aiw_comment
smtbmc: ignore # comment lines
Diffstat (limited to 'backends/smt2')
| -rw-r--r-- | backends/smt2/smtbmc.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py index 7e0d8f571..7527f4105 100644 --- a/backends/smt2/smtbmc.py +++ b/backends/smt2/smtbmc.py @@ -492,7 +492,7 @@ if aimfile is not None: got_state = True 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 if not got_state: |