source: examples/python_tests/alumni2_rt1/alumni2.save @ 7a452cd

mei_rt2mei_rt2_fix_1
Last change on this file since 7a452cd 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: 691 bytes
Line 
1% Restoring file /usr/local/lib/Yap/startup.yss
2
3...final principal set...
4(pBob,keyid,y)
5(pJoe,keyid,y)
6(pMaryann,keyid,y)
7(pStateU,keyid,y)
8
9...final policy attribute set...
10pStateU.diploma('mathmatics',1961) <- pBob
11pStateU.diploma('psychology',1962) <- pMaryann
12pStateU.diploma('zoology',1955) <- pJoe
13pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1960,1961,1963])
14
15===good============ stateU.foundingAlumni <- Bob
16YAP query succeed
17pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1960,1961,1963])
18pStateU.diploma('mathmatics',1961) <- pBob
19
20===bad============ stateU.foundingAlumni <- Maryann
21YAP query failed
22
23===bad============ stateU.foundingAlumni <- Joe
24YAP query failed
Note: See TracBrowser for help on using the repository browser.