source: examples/scaling_tests/daisychain/likes_python/base/PROVE.sh @ 7f04233

mei_rt2
Last change on this file since 7f04233 was c3c73bd, checked in by Mei <mei@…>, 12 years ago

1) work around the hang in scaling test for freebsd8, it is because

Yap return more complete partial result from YAP_WriteBuffer call
on freebsd than on linux box
  • Property mode set to 100755
File size: 403 bytes
Line 
1#!/bin/sh
2
3keystore=`pwd`
4pID=`creddy --keyid --cert ${keystore}/John#VAL#_ID.pem`
5cID=`creddy --keyid --cert ${keystore}/John0_ID.pem`
6
7#JohnX likes John0?
8
9role="[keyid:${pID}].role:likes"
10principal="[keyid:${cID}]"
11
12$keystore/../../../../example_scripts/c/abac_prover "$keystore" "$role" "$principal"
13
14#echo "$keystore" "$role" "$principal"
15#gdb $keystore/../../../../example_scripts/c/abac_prover
16
17
Note: See TracBrowser for help on using the repository browser.