source: tests/example_scripts/c/run_prover @ c0fe894

abac0-leak
Last change on this file since c0fe894 was 4f79997, checked in by Mei <mei@…>, 11 years ago

1) add a new scaling test -haystack/ralphs
2) tweak some libabac code here and there

  • Property mode set to 100755
File size: 397 bytes
RevLine 
[4f79997]1#!/usr/bin/env sh
[4721618]2
[4f79997]3if [ -z "${TESTDIR}" ] ; then
4    TESTDIR=../..
5fi
[3c30b59]6. ${TESTDIR}/test_util.sh
7
[4721618]8keystore=`pwd`
[3c30b59]9pID=`$eloc/creddy --keyid --cert ${keystore}/IceCream_ID.pem`
10cID=`$eloc/creddy --keyid --cert ${keystore}/Chocolate_ID.pem`
[4721618]11
12role="${pID}.delicious"
13principal="${cID}"
14
[3c30b59]15#    echo "$keystore" "$role" "$principal"
16#    gdb ./abac_prover
17
18./abac_prover "$keystore" "$role" "$principal"
[4721618]19
Note: See TracBrowser for help on using the repository browser.