checkMon.sh revision e14630e447a41e916736b4456d4541b3a81df18f
#!/bin/sh
# testing Monotonic modal logic formulae
for i in ../monotonic/*
do
echo "~~~~~~processing Monotonic modal logic formula from $i"
../../main 1 $i
done