checkKD.sh revision 64a174a62d762d93f8bd19318990809e90d1afd8
#!/bin/sh
# testing KD modal logic formulae
for i in *.kd
do
echo "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~processing KD f from $i"
../main 2 $i
done