modelchecker/test.sh

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