diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-09-04 15:20:04 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-09-04 15:20:04 -0700 |
| commit | 6fe1ca633d90fb238d2671dba3d7f772c263a497 (patch) | |
| tree | f1ed5a96fa97451f858698e91e23af68cb8327de /tests | |
| parent | 433b0c677c16ef5cc2fa92c576c54cc1a3a09f7f (diff) | |
| download | yosys-6fe1ca633d90fb238d2671dba3d7f772c263a497.tar.gz yosys-6fe1ca633d90fb238d2671dba3d7f772c263a497.tar.bz2 yosys-6fe1ca633d90fb238d2671dba3d7f772c263a497.zip | |
abc9 followed by clean otherwise netlist could be invalid for sim
Diffstat (limited to 'tests')
| -rwxr-xr-x | tests/simple_abc9/run-test.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/simple_abc9/run-test.sh b/tests/simple_abc9/run-test.sh index 0d4262005..4d15a3253 100755 --- a/tests/simple_abc9/run-test.sh +++ b/tests/simple_abc9/run-test.sh @@ -25,5 +25,6 @@ exec ${MAKE:-make} -f ../tools/autotest.mk $seed *.v EXTRA_FLAGS="-n 300 -p '\ synth -run coarse; \ opt -full; \ techmap; abc9 -lut 4 -box ../abc.box; \ + clean; \ check -assert; \ select -assert-none t:${DOLLAR}_NOT_ t:${DOLLAR}_AND_ %%'" |