diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-12-22 11:15:05 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-12-22 11:15:05 +0100 |
| commit | f1b959dc69ce691adb0e5a57236e062a21585e64 (patch) | |
| tree | 7741ae130a42379099de7ce7905a589b6ac6c724 /tests/smv/run-single.sh | |
| parent | ab0c44d3ed81f71cb0c6ff844679110cc27b38ad (diff) | |
| download | yosys-f1b959dc69ce691adb0e5a57236e062a21585e64.tar.gz yosys-f1b959dc69ce691adb0e5a57236e062a21585e64.tar.bz2 yosys-f1b959dc69ce691adb0e5a57236e062a21585e64.zip | |
Run opt_const before check in default scripts
Diffstat (limited to 'tests/smv/run-single.sh')
0 files changed, 0 insertions, 0 deletions