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 /frontends | |
| 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 'frontends')
0 files changed, 0 insertions, 0 deletions