From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 31 Dec 2013 20:25:34 +0000 (+0100)
Subject: Use "abc -dff" in "make test"
X-Git-Tag: yosys-0.2.0~204
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ab3f6266ad732e0fc3e02e2addc0c5486293702a;p=yosys.git

Use "abc -dff" in "make test"
---

diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh
index e53768095..fcc212378 100755
--- 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
 	}