transition fix

[mc1516pa.git] / modelchecker / test.sh

diff --git a/modelchecker/test.sh b/modelchecker/test.sh
index 368814a..2aa9aea 100755 (executable)
--- a/modelchecker/test.sh
+++ b/modelchecker/test.sh
@@ -2,17 +2,20 @@
 set -e
 
 make
+cd tests
+./generate_tests.sh
+cd ..
 TOTAL=0
 PASSED=0
-for testscreen in tests/*; do
+for testscreen in tests/[^g]*; do
        NUM="$(basename "$(echo $testscreen | cut -d'.' -f1)")"
        OUT="$(./main "$testscreen" 2>&1| grep -Po "(?<=Satcount: )\d+(?=\.)")"
        if [ "$NUM" -ne "$OUT" ]; then
                echo "$testscreen failed, expected: $NUM, got: $OUT."
-               cat "$testscreen"
+               echo "'$(cat "$testscreen")'"
        else
                PASSED=$((PASSED+1))
        fi
        TOTAL=$((TOTAL+1))
 done
-echo "$PASSED/$TOTAL passed"
+echo "$((TOTAL-PASSED))/$TOTAL failed"