diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh index 5a302bcd4..e53768095 100755 --- a/tests/tools/autotest.sh +++ b/tests/tools/autotest.sh @@ -150,7 +150,7 @@ do 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; opt; abc; opt" + # test_passes -p "hierarchy; proc; memory; opt; fsm; opt; techmap; opt; abc; opt" fi touch ../${bn}.log }