diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-09-24 20:51:16 +0200 |
|---|---|---|
| committer | Jim Lawson <ucbjrl@berkeley.edu> | 2018-10-08 11:38:10 -0700 |
| commit | 89ef6600bcc0a52c3ce2f22805fd877b7528e8d6 (patch) | |
| tree | ba05f2a1cc9f733be726ef65ccd639466ee297f0 /libs/minisat/ParseUtils.h | |
| parent | e8431d1508ff28bf8983d7f2f1859060c9d9fdcd (diff) | |
| download | yosys-89ef6600bcc0a52c3ce2f22805fd877b7528e8d6.tar.gz yosys-89ef6600bcc0a52c3ce2f22805fd877b7528e8d6.tar.bz2 yosys-89ef6600bcc0a52c3ce2f22805fd877b7528e8d6.zip | |
Add "read_verilog -noassert -noassume -assert-assumes"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'libs/minisat/ParseUtils.h')
0 files changed, 0 insertions, 0 deletions