More testingHEADaggressive

1 files changed, 16 insertions, 0 deletions

diff --git a/test/run b/test/run
new file mode 100755
index 0000000..8822eb9
--- /dev/null
+++ b/test/run
@@ -0,0 +1,16 @@
+#!/bin/sh
+
+set -e
+
+FAIL="\033[0;31m[FAIL]\033[0m "
+SUCC="\033[0;32m[SUCC]\033[0m "
+
+# for file in *.blc; do
+for file in idx_open.blc idx_simple.blc; do
+	../build/calm "$file" &>../build/"$file".dump
+	cmp "$file".dump ../build/"$file".dump && printf "$SUCC" || printf "$FAIL"
+	echo "reduction of $file"
+	rm ../build/"$file".dump
+	valgrind --leak-check=full -s --error-exitcode=1 ../build/calm "$file" &>/dev/null && printf "$SUCC" || printf "$FAIL"
+	echo "memory failures of $file"
+done