hets/HasCASL/runcheck.sh

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

PA=$1
SET=$2

. ../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)