source: examples/creddy_prover_tests/runcheck @ 2c03e57

#!/bin/sh 

rm -rf allout.cn allout.sha

./.runall clean 1 >/dev/null 2>&1
./.runall setup 1 >/dev/null 2>&1

ABAC_PROVER_PATH=`which abac_prover_yap | sed 's/\/abac_prover_yap//'`
export ABAC_PROVER_PATH

echo '\n'
echo 'running libabac CREDDY/ABAC_PROVER_YAP testing...'
echo '  ---with sha'
env ./.runall run 1> allout.sha 2>/dev/null
echo '  ---with cn'
env ABAC_CN=1 ./.runall run 1> allout.cn 2>/dev/null
result=`diff allout.cn allout.save`

if [ "$result" = "" ]; then
   echo "   PASSED"
else
   echo "   ERROR:got changes!!!"
fi