#!/bin/sh 

rm -rf allout.cn allout.sha

ABAC_PROVER_PATH="/home/mei/Deter/abac/libabac"
export ABAC_PROVER_PATH

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
