#!/bin/sh

. ${TESTDIR}/test_util.sh

keystore=`pwd`
pID=`$eloc/creddy --keyid --cert ${keystore}/IceCream_ID.pem`
cID=`$eloc/creddy --keyid --cert ${keystore}/Chocolate_ID.pem`

role="${pID}.delicious"
principal="${cID}"

#    echo "$keystore" "$role" "$principal"
#    gdb ./abac_prover

./abac_prover "$keystore" "$role" "$principal"