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

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