source: examples/python_tests/balltime_rt2/ball.save @ efd7ebe

mei_rt2mei_rt2_fix_1
Last change on this file since efd7ebe 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: 1.0 KB
RevLine 
[7211a95]1% Restoring file /usr/local/lib/Yap/startup.yss
[2efdff5]2
[7211a95]3...final principal set...
4(pJohn,keyid,y)
5(pLeague,keyid,y)
6(pMark,keyid,y)
7
8...final policy attribute set...
9pLeague.stadium('access',true,F:pLeague.gametime(T)) <- pLeague.players(T)
[2efdff5]10pLeague.stadium('access',B:[true],F:[20120228T080000..20120228T090000]) <- pLeague.players(T)
11pLeague.gametime('north') <- 20120228T130000
12pLeague.gametime('south') <- 20120228T140000
[7211a95]13pLeague.players('north') <- pJohn
14pLeague.players('south') <- pMark
15
[f824a9e]16===good============ league.stadium(access,true,20120128T130000)<-?-john
17YAP query succeed
18pLeague.stadium('access',true,F:pLeague.gametime(T)) <- pLeague.players(T)
[2efdff5]19pLeague.gametime('north') <- 20120228T130000
[f824a9e]20pLeague.players('north') <- pJohn
21
22===bad============ league.stadium(access,true,20120128T110000)<-?-mark
23YAP query failed
[7211a95]24
[f824a9e]25===good============ league.stadium(access,true,20120128T080000)<-?-mark
26YAP query succeed
[2efdff5]27pLeague.stadium('access',B:[true],F:[20120228T080000..20120228T090000]) <- pLeague.players(T)
[f824a9e]28pLeague.players('south') <- pMark
Note: See TracBrowser for help on using the repository browser.