checkK.sh revision 64a174a62d762d93f8bd19318990809e90d1afd8
#!/bin/sh
# testing K modal logic formulae
for i in *.k
do
echo "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~processing K f from $i"
../main 1 $i
done