checkHM.sh revision 478c79f14e4415f68e13606f1911637453eb6098
#!/bin/sh
# testing Hennessy-Milner Logic formulae
for i in ../hennessy_milner/*
do
echo "~~~~~~processing from $i"
../../main 6 $i
done