projects
/
yosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d3eea82
)
Revert "abc9 followed by clean otherwise netlist could be invalid for sim"
author
Eddie Hung
<eddie@fpgeh.com>
Thu, 5 Sep 2019 15:25:09 +0000
(08:25 -0700)
committer
Eddie Hung
<eddie@fpgeh.com>
Thu, 5 Sep 2019 15:25:09 +0000
(08:25 -0700)
This reverts commit
6fe1ca633d90fb238d2671dba3d7f772c263a497
.
tests/simple_abc9/run-test.sh
patch
|
blob
|
history
diff --git
a/tests/simple_abc9/run-test.sh
b/tests/simple_abc9/run-test.sh
index 4d15a32537814015e48c9fa3eabb781aa2198264..0d4262005fd3b207cc725ae689f0b3023b25a92a 100755
(executable)
--- a/
tests/simple_abc9/run-test.sh
+++ b/
tests/simple_abc9/run-test.sh
@@
-25,6
+25,5
@@
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_ %%'"