checkML.sh revision 8097f4aa8c4e8d1445d2ebce2e2614655809ade1
#!/bin/sh
# testing ML formulae
for i in ../mTests/*.m
do
echo "~~~"
../../main 5 $i
done