hets/HasCASL/runcheck.sh

	runcheck.sh revision d942df4981b51d5969ee9e2886f04826955681ef
#!/usr/local/bin/bash

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

. ../Common/test/checkFunctions.sh

for i in Kinds Types Terms Items BasicSpec;
do
    runmycheck $i hascasl
    runwrongcheck $i hascasl
done

i=Prelude.hascasl
echo "processing $i"
runchecker "analysis" $i $i.output

(cd test; bash runcheck.sh ../$PA $SET)