#!/bin/bash -e

exit_code=0

[ -z "$SOLVER" ] && SOLVER="$PWD/test-solver"
XFAILS="$PWD/test/xfails"

test_fail() {
	t="$(basename $1)"
	if grep -q "$t" "$XFAILS" ; then
		echo -e "$t: "'[\e[34;1mXFAIL\e[0m]'
	else
		echo -e "$t: "'[\e[31;1mFAIL\e[0m]'
	fi
}

test_pass() {
	t="$(basename $1)"
	echo -e "$t: "'[\e[32;1mPASS\e[0m]'
}

for t in test/*-* ; do
	pushd "$t" >/dev/null
	if ! "$SOLVER" >/dev/null ; then
		test_fail "$t"
		exit_code=1
	else
		test_pass "$t"
	fi
	popd >/dev/null
done

exit "$exit_code"