source: examples/example_scripts/c/run_prover @ 33a9212

mei_rt2mei_rt2_fix_1
Last change on this file since 33a9212 was 08b8da7, checked in by Mei <mei@…>, 12 years ago

1) rework examples directory with Makefile
2) update scaling with plotting scripts
3) add more doc in there

  • Property mode set to 100755
File size: 314 bytes
Line 
1#!/bin/sh
2
3keystore=`pwd`
4pID=`creddy --keyid --cert ${keystore}/IceCream_ID.pem`
5cID=`creddy --keyid --cert ${keystore}/Chocolate_ID.pem`
6
7role="[keyid:${pID}].role:delicious"
8principal="[keyid:${cID}]"
9
10./abac_prover "$keystore" "$role" "$principal"
11
12#echo "$keystore" "$role" "$principal"
13#gdb ./abac_prover
14
15
16
Note: See TracBrowser for help on using the repository browser.