diff options
Diffstat (limited to 'tests/testanalyze.sh')
-rwxr-xr-x | tests/testanalyze.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/testanalyze.sh b/tests/testanalyze.sh new file mode 100755 index 0000000..8b1add2 --- /dev/null +++ b/tests/testanalyze.sh @@ -0,0 +1,14 @@ +#!/bin/sh + +for a in source/*.scade; do + if ../analyze --test $a > /tmp/analyze_out.txt; + then + if diff -B /tmp/analyze_out.txt result/`basename $a .scade`.out >/dev/null; then + echo "OK $a" + else + echo "FAIL $a" + fi + else + echo "TODO $a" + fi +done |