From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Fri, 8 Feb 2019 20:41:59 +0000 (-0800)
Subject: Support and differentiate between ASCII and binary AIG testing
X-Git-Tag: yosys-0.9~232^2~19
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=587872236ecd1ca2f2a466bccc8d41618feb0dfb;p=yosys.git

Support and differentiate between ASCII and binary AIG testing
---

diff --git a/tests/aiger/run-test.sh b/tests/aiger/run-test.sh
index 308578f01..e0a34f023 100755
--- a/tests/aiger/run-test.sh
+++ b/tests/aiger/run-test.sh
@@ -17,4 +17,8 @@ if ! which iverilog > /dev/null ; then
   exit 1
 fi
 
-exec ${MAKE:-make} -f ../tools/autotest.mk $seed *.aag EXTRA_FLAGS="-f aiger"
+echo "===== AAG ======"
+${MAKE:-make} -f ../tools/autotest.mk $seed *.aag EXTRA_FLAGS="-f aiger"
+
+echo "===== AIG ======"
+exec ${MAKE:-make} -f ../tools/autotest.mk $seed *.aig EXTRA_FLAGS="-f aiger"
diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh
index 3e1325b33..0ffa062e3 100755
--- a/tests/tools/autotest.sh
+++ b/tests/tools/autotest.sh
@@ -90,7 +90,7 @@ for fn
 do
 	bn=${fn%.*}
 	ext=${fn##*.}
-	if [[ "$ext" != "v" ]] && [[ "$ext" != "aag" ]]; then
+	if [[ "$ext" != "v" ]] && [[ "$ext" != "aag" ]] && [[ "$ext" != "aig" ]]; then
 		echo "Invalid argument: $fn" >&2
 		exit 1
 	fi