Merge remote-tracking branch 'origin/dff_init' into read_aiger

[yosys.git] / tests / aiger / run-test.sh

diff --git a/tests/aiger/run-test.sh b/tests/aiger/run-test.sh
index 308578f011fb0850acd099c7d199b7492abb9010..e0a34f02337950b7a878d5b0258277a9c1324786 100755 (executable)
--- 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"