source: examples/python_tests/acme_rockets_rt0/rocket.save @ 5f551d3

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

1) add more python examples

  • Property mode set to 100644
File size: 550 bytes
Line 
1% Restoring file /usr/local/lib/Yap/startup.yss
2
3===good============ Acme.preferred_customer <- Coyote
4YAP query succeed
5pAcme.preferred_customer <- pCoyote
6
7===good============ Acme.buy_rockets <- Coyote
8YAP query succeed
9pAcme.buy_rockets <- pAcme.preferred_customer
10pAcme.preferred_customer <- pCoyote
11
12===bad=============== Coyote.friend <- Acme
13YAP query failed
14
15...final principal set...
16(pAcme,keyid,y)
17(pCoyote,keyid,y)
18
19
20
21...final policy attribute set...
22pAcme.buy_rockets <- pAcme.preferred_customer
23pAcme.preferred_customer <- pCoyote
24
25
Note: See TracBrowser for help on using the repository browser.