CASL/test/runcheck.sh

	runcheck.sh revision 4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
#!/usr/local/bin/bash

#first parameter is executable
#second parameter resets ouput files

PA=$1
SET=$2
ANNOS=../../Common/test/Standard.annos

. ../../Common/test/checkFunctions.sh

#extra test
runchecker Terms ../../Common/test/MixIds.casl MixIds.casl.asTerms.output
runchecker Terms ../../Common/test/WrongMixIds.casl WrongMixIds.casl.asTerms.output
runchecker MixfixTerms Terms.casl Terms.casl.asMixfixTerms.output
runchecker MixfixFormula Formula.casl Formula.casl.asMixfixFormula.output

#don't take files starting with "Wrong"
for j in [A-V]*.casl;
do
    i=`basename $j .casl`
    runmycheck $i casl
    runwrongcheck $i casl
done