source: examples/example_scripts/c/run_prover @ f89b991

mei_rt2
Last change on this file since f89b991 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.