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