#!/bin/bash -xe

EXE="$1"
EXAMPLES_ORIG="$2"
# make sure that source files are not overwritten,
# and that we have permissions
EXAMPLES=$(mktemp -d)
cp -r "$EXAMPLES_ORIG"/* "$EXAMPLES/"

function ensure_uncompressed() {
	FILE="$1"
	if [[ ! -f "$FILE" ]]; then
		if [[ -f "$FILE.gz" ]]; then
			gunzip "$FILE.gz"
		elif [[ -f "$FILE.bz2" ]]; then
			bunzip2 "$FILE.bz2"
		else
			echo "File does not exist in either plain or compressed format: $FILE" >&2
			exit 1
		fi
	fi
}

function run_test() {
	PREFIX="$EXAMPLES/$1"
	ensure_uncompressed "$PREFIX.cnf"
	ensure_uncompressed "$PREFIX.drat"
	$EXE "$PREFIX.cnf" "$PREFIX.drat" -c core -l lemmas
	$EXE core lemmas
}

run_test example-4-vars
run_test example-5-vars
run_test example-Schur

run_test uuf-30-1
run_test uuf-50-2
run_test uuf-50-3

run_test uuf-100-1
run_test uuf-100-2
run_test uuf-100-3
run_test uuf-100-4
run_test uuf-100-5

run_test R_4_4_18

