SoftFOL/tests/check.sh

	check.sh revision f04e8f3ff56405901be968fd4c6e9769239f1a9b
#!/bin/bash

# SPASS and hets must be in $PATH

cd $1
export LOG=$PWD/spass_`date "+%a_%b_%e_%H:%M:%S_%Z_%Y"`.log


# cleaning up of old files (snd part is dangerous)
rm -f Basic/*.env Basic/*.dfg

(time(
# generating dfg files

hets -o dfg Basic/*.casl

# checking dfg files with SPASS
for i in Basic/*.dfg
do
    echo $i
    SPASS -Auto=0 $i
done
)) > $LOG 2>&1
echo "log is found in "$LOG