Improve the test driver script.
Chris Pressey
1 year, 6 months ago
0 | #!/bin/sh -e | |
0 | #!/bin/sh | |
1 | 1 | |
2 | ./build-proof.sh eg/demo-proof1 && eg/*.exe && rm eg/*.exe && echo "ok" | |
3 | ./build-proof.sh eg/demo-proof2 && eg/*.exe && rm eg/*.exe && echo "ok" | |
4 | ./build-proof.sh eg/demo-proof3 && eg/*.exe && rm eg/*.exe && echo "ok" | |
5 | # ./build-proof.sh eg/demo-nonproof1 && eg/*.exe && rm eg/*.exe && echo "ok" | |
2 | for PROOF in demo-proof1 demo-proof2 demo-proof3; do | |
3 | rm -f eg/*.exe | |
4 | ./build-proof.sh eg/$PROOF && eg/$PROOF.exe && echo "$PROOF ok" | |
5 | done | |
6 | ||
7 | for NONPROOF in demo-nonproof1; do | |
8 | rm -f eg/*.exe | |
9 | ./build-proof.sh eg/$NONPROOF | |
10 | if eg/$NONPROOF.exe; then | |
11 | echo "ERROR: nonproof $NONPROOF terminated with exit code 0" | |
12 | exit 1 | |
13 | fi | |
14 | echo "nonproof $NONPROOF ok" | |
15 | done |