checkCL.sh revision 64a174a62d762d93f8bd19318990809e90d1afd8
#!/bin/sh
#testing CL formulae
for i in *.cl
do
echo "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~processing CL f from $i"
../main 3 $i
done