#!/bin/ksh
#
# A script for running the Diderot regression tests.
#
# @configure_input@
#
# TODO:
#	pick version of diderotc compiler to test
#	pass command-line arguments to the compiler
#

# set up the path so that we can find diderotc and unu
#
PATH=/bin:/usr/bin:@TEEM_DIR@/bin:@DIDEROT_BINDIR@

# this script should be run from the rtest directory
#
HERE=$(pwd)
if [ ! -d $HERE/tests ] ; then
  echo "run script from rtest directory"
  exit 1
fi

# get a list of all of the tests (one per directory)
#
TESTS=$(cd tests; ls)

DATE=$( date +"%F-%H-%M-%S" )
LOG=$HERE/log.$DATE
REPORT=$HERE/report.$DATE

for t in $TESTS ; do
( cd tests/$t;
  echo "********** $t **********" >> $LOG
  echo -n "checking $t ..." >> $REPORT
  echo "diderotc $t.diderot" >> $LOG
  diderotc $t.diderot 2>> $LOG 1>> $LOG
  if [ "$?" -eq "0" ] ; then
    echo -n " compile succeeded ..." >> $REPORT
    echo "./$t" >> $LOG
    ./$t 2>> $LOG 1>> $LOG
    if [ "$?" -eq "0" ] ; then
      echo -n " execution succeeded ..." >> $REPORT
      result=$(./assess.sh)
      if (($result < 1.0)) ; then
	echo "result is good ($result)" >> $REPORT
	echo "ok" >> $LOG
	echo "$t is okay"
	rm -f $t.c $t.o $t $t.log mip.txt
      else
	echo "result if bad ($result)" >> $REPORT
	echo "$t failed"
      fi
    else
      echo " execution failed" >> $REPORT
      echo "$t failed"
    fi
  else
    echo " compile failed" >> $REPORT
    echo "$t failed"
  fi
  echo "**********" >> $LOG
)
done
echo "complete report at $REPORT"