diff options
| author | N. Engelhardt <nak@yosyshq.com> | 2022-03-24 10:19:17 +0100 |
|---|---|---|
| committer | N. Engelhardt <nak@yosyshq.com> | 2022-03-24 10:19:17 +0100 |
| commit | a7ee01065acc3522277230bcb31859193033d723 (patch) | |
| tree | 310c7442a0b8c9a665af7d34cb8658627e7e5abd /backends | |
| parent | 6318db6152d053244adb316fda6e01a32a4f3c72 (diff) | |
| download | yosys-a7ee01065acc3522277230bcb31859193033d723.tar.gz yosys-a7ee01065acc3522277230bcb31859193033d723.tar.bz2 yosys-a7ee01065acc3522277230bcb31859193033d723.zip | |
ignore # comment lines
Diffstat (limited to 'backends')
| -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: |