From 4204d25a2d277af1c16f55ee488e42c7b79bba1f Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Wed, 21 May 2014 17:57:06 +0200
Subject: All tests pass except one !

---
 tests/test.sh | 45 +++++++++++++++++++++++++++++----------------
 1 file changed, 29 insertions(+), 16 deletions(-)

(limited to 'tests')

diff --git a/tests/test.sh b/tests/test.sh
index 443868a..b736fb2 100755
--- a/tests/test.sh
+++ b/tests/test.sh
@@ -1,26 +1,39 @@
 #!/bin/bash
 
+function test_it {
+	if ../analyze $1 $2 > /tmp/analyze_out.txt;
+	then
+		cat /tmp/analyze_out.txt | uniq | tr -d " \\n" > /tmp/analyze_out_2.txt;
+		cat results/$3 | uniq | tr -d " \\n" > /tmp/expected_out_2.txt;
+		if diff -B /tmp/analyze_out_2.txt /tmp/expected_out_2.txt >/dev/null; then
+			echo "OK    $2"
+		else
+			cat /tmp/analyze_out.txt | grep Output > /tmp/analyze_out_3.txt;
+			cat results/$3 | grep Output > /tmp/expected_out_3.txt;
+			if diff -B /tmp/analyze_out_3.txt /tmp/expected_out_3.txt >/dev/null; then
+				echo "(TR)  $2"
+			else
+				echo "FAIL  $2"
+			fi;
+		fi;
+	else
+		echo "TODO  $2"
+	fi;
+}
+
 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;
+	test_it --const-interp $a `basename $a .c`.constants.txt;
 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;
+	test_it --interv-interp $a `basename $a .c`.intervals.txt;
+done;
+
+
+echo "== RELATIONNAL ABSTRACT DOMAIN"
+for a in sources/*.c; do
+	test_it --rel-interp $a `basename $a .c`.polyhedra.txt;
 done;
 
-- 
cgit v1.2.3