source: examples/python_tests/acme_multi_rt0/multi.save @ dfe6b61

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

1) add backtrack/multiple solutions proof code changes and new

examples.
  • Property mode set to 100644
File size: 710 bytes
Line 
1
2...final principal set...
3(pAcme,keyid,y)
4(pCoyote,keyid,y)
5
6...final policy attribute set...
7pAcme.buy_rockets <- pAcme.preferred_customer
8pAcme.buy_rockets <- pAcme.worst_lucked
9pAcme.preferred_customer <- pCoyote
10pAcme.worst_lucked <- pCoyote
11
12===good============ Acme.buy_rockets <- Coyote
13YAP query succeed
14pAcme.buy_rockets <- pAcme.preferred_customer
15pAcme.preferred_customer <- pCoyote
16
17next proof:
18pAcme.buy_rockets <- pAcme.worst_lucked
19pAcme.worst_lucked <- pCoyote
20no more..
21
22
23===good============ Acme.preferred_customer <- Coyote
24YAP query succeed
25pAcme.preferred_customer <- pCoyote
26
27next proof:
28no more..
29
30
31===bad=============== Coyote.friend <- Acme
32YAP query failed
33
34next proof:
35no more..
36
Note: See TracBrowser for help on using the repository browser.