source: tests/example_scripts/c/run_prover @ e825c38

abac0-leak
Last change on this file since e825c38 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
Line 
1#!/usr/bin/env sh
2
3if [ -z "${TESTDIR}" ] ; then
4    TESTDIR=../..
5fi
6. ${TESTDIR}/test_util.sh
7
8keystore=`pwd`
9pID=`$eloc/creddy --keyid --cert ${keystore}/IceCream_ID.pem`
10cID=`$eloc/creddy --keyid --cert ${keystore}/Chocolate_ID.pem`
11
12role="${pID}.delicious"
13principal="${cID}"
14
15#    echo "$keystore" "$role" "$principal"
16#    gdb ./abac_prover
17
18./abac_prover "$keystore" "$role" "$principal"
19
Note: See TracBrowser for help on using the repository browser.