checkG.sh revision a237b30135e86e8df89659d7b0442e4df305d03d
#!/bin/sh
# testing Graded Modal Logic formulae
for i in ../graded/*
do
echo "~~~~~~processing $i"
./gnutime -f "Running Time (real): %e" timeout 600 ../../main 4 $i
done