modelchecker/test.sh

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