#!/bin/sh 

rm -rf allout.tmp

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

echo 'running PYTHON testing...'

env ./runall run 1> allout.tmp 2>& 1

result=`diff allout.tmp allout.save`

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