#!/bin/sh

usage="$0 <stm validation script location>"

if [ "$#" != '1' ]; then
    echo Script missing
    echo $usage
    exit 1
fi

stm=$1
if [ ! -x "$stm" ]; then
	echo Script not executable
    echo $usage
    exit 1
fi

for file in test*.stm ; do
  if [ -f "$file.toskip" ] ; then
     echo "(skipping) $base ..."
  else
    echo "Testing $file..."
    base=`echo $file | perl -pe 's/.stm//'`
    log="$base.log.saved"
    tmp="$base.log.tmp"
    
    if [ ! -f "$log" ] ; then
		$stm -i $file > $log
    fi

    $stm -i $file > $tmp
    diff_status=`diff $log $tmp | wc -l`

    if [ $diff_status -ne 0 ] ; then
		echo "   Output log differs from saved log"
                exit 1
	else
		rm $tmp
    fi
  fi
done

exit 0