summaryrefslogtreecommitdiff
path: root/tests/testanalyze.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tests/testanalyze.sh')
-rwxr-xr-xtests/testanalyze.sh14
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