source: examples/fruits_rt2_typed/rr @ 51b6be3

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since 51b6be3 was c586a3c, checked in by Mei <mei@…>, 13 years ago

1) add support for float static range constraint
2) add a testcase for testing float static range constraint
3) add runall-fast (skipping the creddy part)
  • Property mode set to 100755
File size: 1.2 KB
Line 
1rm -rf creds_dump
2
3pwd=`pwd`
4
5#eloc=/home/mei/Deter/abac/libabac
6eloc=$pwd/../../libabac
7#keyloc=/home/mei/Deter/abac/examples/fruits_rt2_typed
8keyloc=$pwd
9
10ralphs=`creddy --keyid --cert $keyloc/Ralphs_ID.pem`
11bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
12mary=`creddy --keyid --cert $keyloc/Mary_ID.pem`
13
14mary_what2eat="[keyid:$mary].oset:what2eat"
15bob_what2eat="[keyid:$bob].oset:what2eat"
16ralphs_apple="[keyid:$ralphs].oset:fruitprice([float:1.50])"
17
18## dump all credentials
19$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
20
21# [keyid:mary].oset:what2eat <-?- [string:'orange'] (yes)
22echo "===good============ mary.what2eat <- orange yap "
23$eloc/abac_prover_yap  --keystore $keyloc --oset "$mary_what2eat" --object "[string:'orange']"
24
25# [keyid:bob].oset:what2eat <-?- [string:'orange'] (no)
26echo "===bad============ bob.what2eat <- orange yap "
27$eloc/abac_prover_yap  --keystore $keyloc --oset "$bob_what2eat" --object "[string:'orange']"
28
29# [keyid:$ralphs].oset:fruitprice([float:1.50]) <-?- [string:'apple'] (yes)
30echo "===good============ ralphs.fruitprice(1.50) <- apple yap "
31$eloc/abac_prover_yap  --keystore $keyloc --oset "$ralphs_apple" --object "[string:'apple']"
32
33
Note: See TracBrowser for help on using the repository browser.