added exhaustive tests

[mc1516pa.git] / modelchecker / test.sh

diff --git a/modelchecker/test.sh b/modelchecker/test.sh
index 205c472..e34ffae 100755 (executable)
--- a/modelchecker/test.sh
+++ b/modelchecker/test.sh
@@ -1,15 +1,16 @@
 #!/bin/bash
 
+TOTAL=0
+PASSED=0
 for testscreen in tests/*; do
        NUM="$(basename "$(echo $testscreen | cut -d'.' -f1)")"
        OUT="$(./main "$testscreen" 2>&1| grep -Po "(?<=Satcount: )\d+(?=\.)")"
-       echo "Output: $OUT"
        if [ "$NUM" -ne "$OUT" ]; then
-               echo "$testscreen failed"
-               echo "Expected: $NUM"
-               echo "Got: $OUT"
+               echo "$testscreen failed, expected: $NUM, got: $OUT."
                cat "$testscreen"
        else
-               echo "$testscreen passed"
+               PASSED=$((PASSED+1))
        fi
+       TOTAL=$((TOTAL+1))
 done
+echo "$PASSED/$TOTAL passed"