diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-30 06:57:45 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-07-01 19:55:16 +0000 |
| commit | 3345d39e6f159c2ae76ddff71d7db2b14a3e535c (patch) | |
| tree | 0692c7684b68cef499edb02e3bd778ab6a6837e3 /frontends/verific/example.sby | |
| parent | 95e801681146eef6fce177e84701cddf1b822e23 (diff) | |
| download | yosys-3345d39e6f159c2ae76ddff71d7db2b14a3e535c.tar.gz yosys-3345d39e6f159c2ae76ddff71d7db2b14a3e535c.tar.bz2 yosys-3345d39e6f159c2ae76ddff71d7db2b14a3e535c.zip | |
qbfsat: Specify default values for some options in the help message.
Diffstat (limited to 'frontends/verific/example.sby')
0 files changed, 0 insertions, 0 deletions