Context Navigation

rocket.save @ c3c73bd

mei_rt2mei_rt2_fix_1

Last change on this file since c3c73bd was a59bc06, checked in by Mei <mei@…>, 12 years ago
1) tweak partial proof's example output
Property mode set to `100644`
File size: 2.9 KB

Line
1
2	...final principal set...
3	(pAcme,keyid,y)
4	(pBurpee,keyid,y)
5	(pCoyote,keyid,y)
6	(pGranny,keyid,y)
7	(pLadybug,keyid,y)
8	(pOsh,keyid,y)
9	(pPooh,keyid,y)
10
11	...final policy attribute set...
12	pAcme.buy_flowers(pBurpee) <- pAcme.green_thumb
13	pAcme.buy_lumbers <- pAcme.contractor
14	pAcme.buy_rockets <- pAcme.preferred_customer
15	pAcme.contractor <- pGranny
16	pAcme.green_thumb <- pGranny
17	pAcme.green_thumb <- pLadybug
18	pAcme.preferred_customer <- pCoyote
19	pOsh.buy_rockets <- pOsh.preferred_customer
20	pOsh.preferred_customer <- pCoyote
21	pOsh.preferred_customer <- pLadybug
22
23	===good============ Acme.buy_rockets <- Coyote
24	YAP query succeed
25	pAcme.buy_rockets <- pAcme.preferred_customer
26	pAcme.preferred_customer <- pCoyote
27
28	===bad============ Acme.buy_rockets <- Ladybug
29	YAP query failed
30	A partial proof(type:what)
31	pAcme.green_thumb <- pLadybug
32
33	next proof:
34	A partial proof(type:who)
35	pAcme.buy_rockets <- pAcme.preferred_customer
36	pAcme.preferred_customer <- pCoyote
37
38	next proof:
39	A partial proof(type:whom)
40	pOsh.buy_rockets <- pOsh.preferred_customer
41	pOsh.preferred_customer <- pLadybug
42
43	next proof:
44	A partial proof(type:what_whom)
45	pAcme.green_thumb <- pLadybug
46
47	next proof:
48	A partial proof(type:what_whom)
49	pOsh.buy_rockets <- pOsh.preferred_customer
50	pOsh.preferred_customer <- pLadybug
51
52	next proof:
53	A partial proof(type:what_whom)
54	pOsh.preferred_customer <- pLadybug
55
56	next proof:
57	no more..
58
59
60	===good============ Osh.buy_rockets <- Ladybug
61	YAP query succeed
62	pOsh.buy_rockets <- pOsh.preferred_customer
63	pOsh.preferred_customer <- pLadybug
64
65	===bad============ Acme.buy_lumbers <- Ladybug
66	YAP query failed
67	A partial proof(type:what)
68	pAcme.green_thumb <- pLadybug
69
70	next proof:
71	A partial proof(type:who)
72	pAcme.buy_lumbers <- pAcme.contractor
73	pAcme.contractor <- pGranny
74
75	next proof:
76	A partial proof(type:what_whom)
77	pAcme.green_thumb <- pLadybug
78
79	next proof:
80	A partial proof(type:what_whom)
81	pOsh.buy_rockets <- pOsh.preferred_customer
82	pOsh.preferred_customer <- pLadybug
83
84	next proof:
85	A partial proof(type:what_whom)
86	pOsh.preferred_customer <- pLadybug
87
88	next proof:
89	no more..
90
91
92	===bad============ Osh.buy_rockets <- Pooh
93	YAP query failed
94	A partial proof(type:who)
95	pOsh.buy_rockets <- pOsh.preferred_customer
96	pOsh.preferred_customer <- pCoyote
97
98	===bad============ Osh.buy_rockets <- Pooh
99	YAP query failed
100	A partial proof(type:who)
101	pOsh.buy_rockets <- pOsh.preferred_customer
102	pOsh.preferred_customer <- pCoyote
103
104	next proof:
105	A partial proof(type:who)
106	pOsh.buy_rockets <- pOsh.preferred_customer
107	pOsh.preferred_customer <- pLadybug
108
109	next proof:
110	no more..
111
112
113	===good============ Acme.buy_flowers(Burpee) <- Ladybug
114	YAP query succeed
115	pAcme.buy_flowers(pBurpee) <- pAcme.green_thumb
116	pAcme.green_thumb <- pLadybug
117
118	===bad============ Acme.buy_flowers(Burpee) <- Pooh
119	YAP query failed
120	A partial proof(type:who)
121	pAcme.buy_flowers(pBurpee) <- pAcme.green_thumb
122	pAcme.green_thumb <- pGranny
123
124	next proof:
125	A partial proof(type:who)
126	pAcme.buy_flowers(pBurpee) <- pAcme.green_thumb
127	pAcme.green_thumb <- pLadybug
128
129	next proof:
130	no more..
131

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format