source: examples/python_tests/acme_rockets_intersection_rt0/intersect.save @ 2be9809

mei_rt2mei_rt2_fix_1
Last change on this file since 2be9809 was f824a9e, checked in by Mei <mei@…>, 13 years ago

1) add more doc to python_tests

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