hets/HasCASL/runcheck.sh

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

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

. ../CASL/checkFunctions.sh

for i in MixIds 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)