modelchecker/test.sh

   1 #!/bin/bash
   2 set -e
   3
   4 make
   5 cd tests
   6 ./generate_tests.sh
   7 cd ..
   8 TOTAL=0
   9 PASSED=0
  10 for testscreen in tests/[^g]*; do
  11         NUM="$(basename "$(echo $testscreen | cut -d'.' -f1)")"
  12         OUT="$(./main "$testscreen" 2>&1| grep -Po "(?<=Satcount: )\d+(?=\.)")"
  13         if [ "$NUM" -ne "$OUT" ]; then
  14                 echo "$testscreen failed, expected: $NUM, got: $OUT."
  15                 echo "'$(cat "$testscreen")'"
  16         else
  17                 PASSED=$((PASSED+1))
  18         fi
  19         TOTAL=$((TOTAL+1))
  20 done
  21 echo "$((TOTAL-PASSED))/$TOTAL failed"