source: examples/python_tests/payraise_rt1/pay.save @ a0c1772

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

1) fix the missing check for 'This' rt2.y when called from creddy/prover

combo

2) patch up the stringify of abac_term that is of time type.
3) update the testing to reflect the changes to baseline output
  • Property mode set to 100644
File size: 851 bytes
Line 
1% Restoring file /usr/local/lib/Yap/startup.yss
2
3...final principal set...
4(pAlpha,keyid,y)
5(pBob,keyid,y)
6(pJoe,keyid,y)
7(pMaryann,keyid,y)
8
9...final policy attribute set...
10pAlpha.evaluatorOf(pJoe) <- pBob
11pAlpha.evaluatorOf(pMaryann) <- pBob
12pAlpha.managerOf(Z) <- pAlpha.evaluatorOf(Z)
13pAlpha.payRaise <- pAlpha.evaluatorOf(This).goodPerformance & pAlpha.managerOf(This).niceCoworker
14pBob.goodPerformance <- pJoe
15pBob.goodPerformance <- pMaryann
16pBob.niceCoworker <- pMaryann
17
18===bad============ alpha.payRaise <- Joe
19YAP query failed
20
21===good============ alpha.payRaise <- Maryann
22YAP query succeed
23pAlpha.payRaise <- pAlpha.evaluatorOf(This).goodPerformance & pAlpha.managerOf(This).niceCoworker
24pAlpha.evaluatorOf(pMaryann) <- pBob
25pBob.goodPerformance <- pMaryann
26pAlpha.managerOf(Z) <- pAlpha.evaluatorOf(Z)
27pBob.niceCoworker <- pMaryann
Note: See TracBrowser for help on using the repository browser.