projects
/
yosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4892a3c
)
Use "abc -dff" in "make test"
author
Clifford Wolf
<clifford@clifford.at>
Tue, 31 Dec 2013 20:25:34 +0000
(21:25 +0100)
committer
Clifford Wolf
<clifford@clifford.at>
Tue, 31 Dec 2013 20:25:34 +0000
(21:25 +0100)
tests/tools/autotest.sh
patch
|
blob
|
history
diff --git
a/tests/tools/autotest.sh
b/tests/tools/autotest.sh
index e537680950b3dd1c67fd82efaf5446c5aaca3726..fcc212378a804de2f5101a96ff3eb64be74c4def 100755
(executable)
--- a/
tests/tools/autotest.sh
+++ b/
tests/tools/autotest.sh
@@
-148,9
+148,8
@@
do
if [ -n "$scriptfiles" ]; then
test_passes
else
- test_passes -p "hierarchy; proc; memory; opt; fsm; opt"
- test_passes -p "hierarchy; proc; memory; opt; fsm; opt; techmap; opt"
- # test_passes -p "hierarchy; proc; memory; opt; fsm; opt; techmap; opt; abc; opt"
+ test_passes -p "hierarchy; proc; opt; memory; opt; fsm; opt"
+ test_passes -p "hierarchy; proc; opt; memory; opt; fsm; opt; techmap; opt; abc -dff; opt"
fi
touch ../${bn}.log
}