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