#!/bin/sh 

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

#this needed to be run by hand (input dumdum twice)...
#echo '---running (python) encrypted key attr script'
#./run_e_prover 1> e_prover.log 2>& 1
#result=`grep success e_prover.log 2>/dev/null |wc -l`
#if [ "$result" = "2" ]; then
#   echo "   PASSED"
#else   
#   echo "   ERROR"
#fi

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

echo '---running (python) id2 script, expect failure'
make run_id2 1>/dev/null 2>& 1
result=`grep "okay" id2.log 2>/dev/null`
if [ "$result" = "" ]; then
   echo "   PASSED"
else   
   echo "   ERROR"
fi

echo '---running (python) id3 script, expect failure'
make run_id3 1>/dev/null 2>& 1
result=`grep "okay" id3.log 2>/dev/null`
if [ "$result" = "" ]; then
   echo "   ERROR"
else   
   echo "   PASSED"
fi

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