#!/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