From 9714afeb275360110161c870b50627128fda75a0 Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Wed, 14 May 2014 17:23:57 +0200 Subject: Many things work! --- tests/test.sh | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100755 tests/test.sh (limited to 'tests') 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; + -- cgit v1.2.3