From 9ce7b0fc3bcd1fcb8cebe4f3c86318eaa4fbc943 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 12 Feb 2014 13:11:58 +0100 Subject: [PATCH] Disabled "abc -dff" in "make test" for now (waiting for scorr bugfix in ABC) --- tests/tools/autotest.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh index 7bccd9a5a..b7ec8b8fe 100755 --- a/tests/tools/autotest.sh +++ b/tests/tools/autotest.sh @@ -114,7 +114,8 @@ do test_passes -p "$scriptopt" else 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" + # test_passes -p "hierarchy; proc; opt; memory; opt; fsm; opt; techmap; opt; abc -dff; opt" + test_passes -p "hierarchy; proc; opt; memory; opt; fsm; opt; techmap; opt; abc; opt" fi touch ../${bn}.log } -- 2.30.2