blob: 8822eb9cd15405d54c18d420d15a638c4c134e33 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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
|
