source: examples/python_tests/acme_rockets_rt0/rocket.save @ b8a6fd2a

mei_rt2mei_rt2_fix_1
Last change on this file since b8a6fd2a was bf68132, checked in by Mei <mei@…>, 12 years ago

1) get example directory to work with yap with use_malloc option
2) swap in new performance graphs

  • Property mode set to 100644
File size: 630 bytes
Line 
1
2...final principal set...
3(pAcme,keyid,y)
4(pCoyote,keyid,y)
5
6...final policy attribute set...
7pAcme.buy_rockets <- pAcme.preferred_customer
8pAcme.preferred_customer <- pCoyote
9
10===good============ Acme.preferred_customer <- Coyote
11YAP query succeed
12pAcme.preferred_customer <- pCoyote
13
14===good============ Acme.buy_rockets <- Coyote
15YAP query succeed
16pAcme.buy_rockets <- pAcme.preferred_customer
17pAcme.preferred_customer <- pCoyote
18
19===bad=============== Coyote.friend <- Acme
20YAP query failed
21
22===bad=============== Acme.buy_rockets <- Acme.preferred_customer
23fail, a.o <- b.o and a.r <- a.r query is not implemented yet !!!
Note: See TracBrowser for help on using the repository browser.