source: examples/python_tests/leader_rt1/leader.save @ 09496b3

mei_rt2mei_rt2_fix_1
Last change on this file since 09496b3 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: 554 bytes
Line 
1
2...final principal set...
3(pBob,keyid,y)
4(pGeni,keyid,y)
5(pJack,keyid,y)
6(pJoe,keyid,y)
7
8...final policy attribute set...
9pGeni.equivalent(pBob) <- pJoe
10pGeni.equivalent(pJoe) <- pBob
11pGeni.leader <- pBob
12pGeni.leader <- pGeni.equivalent(P:pGeni.leader)
13
14===good============ geni.leader <- Bob
15YAP query succeed
16pGeni.leader <- pBob
17
18===bad============ geni.leader <- Jack
19YAP query failed
20
21===good============ geni.leader <- Joe
22YAP query succeed
23pGeni.leader <- pGeni.equivalent(P:pGeni.leader)
24pGeni.leader <- pBob
25pGeni.equivalent(pBob) <- pJoe
Note: See TracBrowser for help on using the repository browser.