hets/CASL/runcheck.sh

	runcheck.sh revision 9a648682ccaa8ef63583548c3edb01c6542d7885
#!/usr/local/bin/bash

#first parameter is executable
#second parameter resets ouput files

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

. checkFunctions.sh

#extra test
runchecker Terms MixIds.casl MixIds.casl.asTerms.output
runchecker Terms 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