#! /bin/sh

RETURN=0

for I in test_*.in ; do
  J=`basename $I .in`
  echo -n "$J "
  . $I
  ${OAG_VALGRIND} ../sat_main/sat_main $OPTS 2>&1 | $PARSER > $J.out
  if diff $J.out $J.gold ; then
    echo "PASSED"
  else
    echo "FAILED ***"
    RETURN=1
  fi
done

exit $RETURN
