From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 12 Feb 2014 12:11:58 +0000 (+0100)
Subject: Disabled "abc -dff" in "make test" for now (waiting for scorr bugfix in ABC)
X-Git-Tag: yosys-0.2.0~20^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9ce7b0fc3bcd1fcb8cebe4f3c86318eaa4fbc943;p=yosys.git

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 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
 	}