#!/bin/bash

if [[ "$1" == "" ]]; then
	TESTS=`seq 10`
else
	TESTS="$1"
fi

if [[ $2 == "" ]]; then
	DIAG="FRsingle"
else
	DIAG="$2"
fi

for test in $(echo ${TESTS})
do
	echo "Running test ${test}:"
	./dlv -silent -${DIAG} c.dl psh.dl w.dl f.dl s.dl connect.dl abnormal.hyp connect.test${test}.dl -N=60
	echo ""
done