source: tests/example_scripts/python/run_prover

Last change on this file 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: 365 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./abac_prover.py --keystore "$keystore" --role "$role" --principal "$principal"
16
17
18
Note: See TracBrowser for help on using the repository browser.