#!/bin/sh 

make -s clean

echo '---running (perl) id script'
make -s run 1>/dev/null 2>&1 
result=`grep OKAY id.log 2>/dev/null`
if [ "$result" = "" ]; then
   echo "   ERROR"
else   
   echo "   PASSED"
fi

echo '---running (perl) id2 script, expected failure'
make -s bad 1>/dev/null 2>&1
result=`grep "Aborted" id2.log 2>/dev/null`
if [ "$result" = "" ]; then
   echo "   ERROR"
else   
   echo "   PASSED"
fi

echo '---running (perl) attr script'
make -s attr 1>/dev/null 2>&1
result=`grep "chocolate" attr.log 2>/dev/null`
if [ "$result" = "" ]; then
   echo "   ERROR"
else   
   echo "   PASSED"
fi


echo '---running (perl) prover script'
make -s prove 1>/dev/null 2>&1
result=`grep "Success" prover.log 2>/dev/null`
if [ "$result" = "" ]; then
   echo "   ERROR"
else   
   echo "   PASSED"
fi
