Many things work!

1 files changed, 26 insertions, 0 deletions

diff --git a/tests/test.sh b/tests/test.sh
new file mode 100755
index 0000000..443868a
--- /dev/null
+++ b/tests/test.sh
@@ -0,0 +1,26 @@
+#!/bin/bash
+
+echo "== CONSTANT ABSTRACT DOMAIN"
+for a in sources/*.c; do
+    if ../analyze --const-interp $a > /tmp/analyze_out.txt;
+        then 
+           if diff -B /tmp/analyze_out.txt results/`basename -s .c $a`.constants.txt > /dev/null
+               then echo "OK    $a"
+               else echo "FAIL  $a"
+            fi
+        else echo "TODO  $a";
+    fi;
+done;
+
+echo "== INTERVALS ABSTRACT DOMAIN"
+for a in sources/*.c; do
+    if ../analyze --interv-interp $a > /tmp/analyze_out.txt;
+        then 
+           if diff -B /tmp/analyze_out.txt results/`basename -s .c $a`.intervals.txt > /dev/null
+               then echo "OK    $a"
+               else echo "FAIL  $a"
+            fi
+        else echo "TODO  $a";
+    fi;
+done;
+