source: examples/python_tests/alice_rt1/alice.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: 1.3 KB
Line 
1% Restoring file /usr/local/lib/Yap/startup.yss
2
3...final principal set...
4(pAlice,keyid,y)
5(pDormouse,keyid,y)
6(pHatter,keyid,y)
7(pMarchhare,keyid,y)
8(pParty,keyid,y)
9(pTea,keyid,y)
10
11...final policy attribute set...
12pParty.about_another_float(8) <- pMarchhare
13pParty.about_another_integer(-7) <- pMarchhare
14pParty.about_another_time(20201101T182930) <- pMarchhare
15pParty.about_boolean(true) <- pMarchhare
16pParty.about_float(-200.0) <- pMarchhare
17pParty.about_integer(4) <- pMarchhare
18pParty.about_key(pTea) <- pMarchhare
19pParty.about_other_party(pTea,_,99,AAA,BBB,true,_) <- pMarchhare
20pParty.about(pTea,20101010T000000,true,4,-200.0,8,20120205T182930,'a list','file://usr/party/~teaparty') <- pParty.guestOf(pMarchhare)
21pParty.about_string2('a mangled \'string\'') <- pMarchhare
22pParty.about_string('a confused party') <- pMarchhare
23pParty.about_another_float(0.22) <- pMarchhare
24pParty.about_time(20201101T000000) <- pMarchhare
25pParty.about_urn('file://user/local/party/~sillyparty') <- pMarchhare
26pParty.friendOf(pAlice) <- pHatter
27pParty.friendOf(pMarchhare) <- pDormouse
28pParty.guestOf(V) <- pParty.friendOf(V)
29pParty.guests <- pParty.friendOf(pMarchhare)
30
31===good============ Party.guests <- dourmouse
32YAP query succeed
33pParty.guests <- pParty.friendOf(pMarchhare)
34pParty.friendOf(pMarchhare) <- pDormouse
35
36===bad============ Party.guests <- hatter
37YAP query failed
Note: See TracBrowser for help on using the repository browser.