#!/bin/sh 

rm -rf allout.tmp

./.runall clean 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 SCALING testing...'
./.runall run 1> allout.tmp 2>/dev/null
result=`diff allout.tmp allout.save`

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