modelchecker/test.sh

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