source: examples/example_scripts/c/run_test @ accd63d

#!/bin/sh 

make -s clean

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

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

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