diff options
| author | Catherine <whitequark@whitequark.org> | 2023-02-27 20:24:47 +0000 |
|---|---|---|
| committer | Catherine <whitequark@whitequark.org> | 2023-02-27 20:31:00 +0000 |
| commit | 4bb173e25609b836fc83473b544f404f8f76d2ff (patch) | |
| tree | 254e90e2fbb57e1293432a46fc04c990e027955a /backends/smt2/example.v | |
| parent | ef8ed21a2e7ccaea468baef293fc497d430960b6 (diff) | |
| download | yosys-4bb173e25609b836fc83473b544f404f8f76d2ff.tar.gz yosys-4bb173e25609b836fc83473b544f404f8f76d2ff.tar.bz2 yosys-4bb173e25609b836fc83473b544f404f8f76d2ff.zip | |
yosys-smtbmc: support -h/--help (and exit with code 0).
Diffstat (limited to 'backends/smt2/example.v')
0 files changed, 0 insertions, 0 deletions