diff options
Diffstat (limited to 'test/run')
| -rwxr-xr-x | test/run | 16 |
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 |