checkC.sh revision 027d68858fd4bbb565ca2aa7ce026dc60c8cf881
#!/bin/sh
#testing Coalition Logic formulae
for i in ../coalition/*
do
echo "~~~~~~processing $i"
./gnutime -f "Running Time (real): %e" ./timeout 600 ../../main 3 -p $i
done