Disabled "abc -dff" in "make test" for now (waiting for scorr bugfix in ABC)

diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh
index 7bccd9a5abf360bcf9cf26c1c2f8cd0ab32fb8ac..b7ec8b8fe71d0fd910c7c48bdc1eed8e7889b5ec 100755 (executable)
--- 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
        }