1 | =====================s5_query.py================== |
---|
2 | keystore is not set, using current directory... |
---|
3 | |
---|
4 | ===good============ SA.controlsQ('sliceA','info') <-?- lisa |
---|
5 | YAP query succeed |
---|
6 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv).controlsQ(S,Priv) |
---|
7 | pSA.standard <- 'sliceA' |
---|
8 | pPA.std_ops <- 'info' |
---|
9 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controls_(S) |
---|
10 | pSA.controls_(S:pSA.standard) <- pSA.owner(S) |
---|
11 | pSA.owner('sliceA') <- pDrd |
---|
12 | pDrd.controlsQ('sliceA','info') <- pLisa |
---|
13 | |
---|
14 | next proof: |
---|
15 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).controlsQ(S,Priv) |
---|
16 | pSA.standard <- 'sliceA' |
---|
17 | pPA.std_ops <- 'info' |
---|
18 | pSA.owner('sliceA') <- pDrd |
---|
19 | pDrd.controlsQ('sliceA','info') <- pLisa |
---|
20 | |
---|
21 | next proof: |
---|
22 | no more.. |
---|
23 | |
---|
24 | |
---|
25 | ===good============ SA.controlsQ_('sliceB','info') <-?- lisa |
---|
26 | YAP query succeed |
---|
27 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controls_(S) |
---|
28 | pSA.standard <- 'sliceB' |
---|
29 | pPA.std_ops <- 'info' |
---|
30 | pSA.delegate_controls_('sliceB') <- pLisa |
---|
31 | |
---|
32 | ===good============ SA.controlsQ_('sliceB','info') <-?- James |
---|
33 | YAP query succeed |
---|
34 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv).controlsQ_(S,Priv) |
---|
35 | pSA.standard <- 'sliceB' |
---|
36 | pPA.std_ops <- 'info' |
---|
37 | pSA.delegate_controlsQ_('sliceB','info') <- pJohn |
---|
38 | pJohn.controlsQ_('sliceB','info') <- pJames |
---|
39 | |
---|
40 | ===good============ SA.controlsQ('sliceB','info') <-?- Dan |
---|
41 | YAP query succeed |
---|
42 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controls(S) |
---|
43 | pSA.standard <- 'sliceB' |
---|
44 | pPA.std_ops <- 'info' |
---|
45 | pSA.controls('sliceB') <- pDan |
---|
46 | |
---|
47 | ===good============ SA.controlsQ('sliceA','info') <-?- John |
---|
48 | YAP query succeed |
---|
49 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) |
---|
50 | pSA.standard <- 'sliceA' |
---|
51 | pPA.std_ops <- 'info' |
---|
52 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
53 | pSA.delegate_controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).delegate_controlsQ_(S,Priv) |
---|
54 | pSA.owner('sliceA') <- pDrd |
---|
55 | pDrd.delegate_controlsQ_('sliceA','info') <- pJohn |
---|
56 | |
---|
57 | ===bad============ SA.controlsQ('sliceB','instantiate') <-?- John |
---|
58 | YAP query failed |
---|
59 | A partial proof(type:what) |
---|
60 | pSA.delegate_controlsQ_('sliceB','info') <- pJohn |
---|
61 | |
---|
62 | ===bad============ SA.controlsQ('sliceB','instantiate') <-?- Tim |
---|
63 | YAP query failed |
---|
64 | A partial proof(type:what) |
---|
65 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
66 | pSA.standard <- 'sliceA' |
---|
67 | pPA.std_ops <- 'instantiate' |
---|
68 | pSA.delegate_controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).delegate_controlsQ_(S,Priv) |
---|
69 | pSA.owner('sliceA') <- pDrd |
---|
70 | pDrd.delegate_controlsQ_('sliceA','instantiate') <- pTim |
---|
71 | |
---|
72 | ===bad============ SA.controlsQ('sliceB','info') <-?- Tim |
---|
73 | YAP query failed |
---|
74 | A partial proof(type:what) |
---|
75 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
76 | pSA.standard <- 'sliceA' |
---|
77 | pPA.std_ops <- 'instantiate' |
---|
78 | pSA.delegate_controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).delegate_controlsQ_(S,Priv) |
---|
79 | pSA.owner('sliceA') <- pDrd |
---|
80 | pDrd.delegate_controlsQ_('sliceA','instantiate') <- pTim |
---|
81 | |
---|
82 | ===good============ SA.controlsQ('sliceB','info') <-?- Joe |
---|
83 | YAP query succeed |
---|
84 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) |
---|
85 | pSA.standard <- 'sliceB' |
---|
86 | pPA.std_ops <- 'info' |
---|
87 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
88 | pSA.delegate_controlsQ_('sliceB','info') <- pJohn |
---|
89 | |
---|
90 | |
---|
91 | |
---|
92 | =====================s5_run_query================== |
---|
93 | |
---|
94 | ===bad============ PA.controlsQ_(sliceA,'info')<-?-Dan |
---|
95 | YAP query failed |
---|
96 | prover failed!! |
---|
97 | |
---|
98 | ===good============ PA.controlsQ(sliceA,'info')<-?-Dan |
---|
99 | YAP query succeed |
---|
100 | prover success!! |
---|
101 | credentials needed : |
---|
102 | pSA.controlsQ('sliceA','info') <- pDan |
---|
103 | |
---|
104 | ===bad============ PA.controlsQ_(sliceA,'stop')<-?-Dan |
---|
105 | YAP query failed |
---|
106 | prover failed!! |
---|
107 | |
---|
108 | ===good============ PA.controlsQ(sliceA,'stop')<-?-Dan |
---|
109 | YAP query succeed |
---|
110 | prover success!! |
---|
111 | credentials needed : |
---|
112 | pSA.controlsQ('sliceA','stop') <- pDan |
---|
113 | |
---|
114 | ===good============ PA.controlsQ_(sliceA,'info')<-?-Frank |
---|
115 | YAP query succeed |
---|
116 | prover success!! |
---|
117 | credentials needed : |
---|
118 | pSA.controlsQ_('sliceA','info') <- pFrank |
---|
119 | |
---|
120 | ===good============ PA.controlsQ(sliceA,'info')<-?-Frank |
---|
121 | YAP query succeed |
---|
122 | prover success!! |
---|
123 | credentials needed : |
---|
124 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) |
---|
125 | pSA.standard <- 'sliceA' |
---|
126 | pPA.std_ops <- 'info' |
---|
127 | pSA.controlsQ_('sliceA','info') <- pFrank |
---|
128 | |
---|
129 | ===good============ PA.controlsQ_(sliceA,'stop')<-?-Frank |
---|
130 | YAP query succeed |
---|
131 | prover success!! |
---|
132 | credentials needed : |
---|
133 | pSA.controlsQ_('sliceA','stop') <- pFrank |
---|
134 | |
---|
135 | ===good============ PA.controlsQ(sliceA,'stop')<-?-Frank |
---|
136 | YAP query succeed |
---|
137 | prover success!! |
---|
138 | credentials needed : |
---|
139 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) |
---|
140 | pSA.standard <- 'sliceA' |
---|
141 | pPA.std_ops <- 'stop' |
---|
142 | pSA.controlsQ_('sliceA','stop') <- pFrank |
---|
143 | |
---|
144 | ===bad============ PA.controlsQ_(sliceA,'info')<-?-James |
---|
145 | YAP query succeed |
---|
146 | prover success!! |
---|
147 | credentials needed : |
---|
148 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
149 | pSA.standard <- 'sliceA' |
---|
150 | pPA.std_ops <- 'info' |
---|
151 | pSA.delegate_controlsQ_('sliceA','info') <- pJames |
---|
152 | |
---|
153 | ===good============ PA.controlsQ(sliceA,'info')<-?-James |
---|
154 | YAP query succeed |
---|
155 | prover success!! |
---|
156 | credentials needed : |
---|
157 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) |
---|
158 | pSA.standard <- 'sliceA' |
---|
159 | pPA.std_ops <- 'info' |
---|
160 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
161 | pSA.delegate_controlsQ_('sliceA','info') <- pJames |
---|
162 | |
---|
163 | ===bad============ PA.controlsQ_(sliceA,'stop')<-?-James |
---|
164 | YAP query failed |
---|
165 | prover failed!! |
---|
166 | |
---|
167 | ===good============ PA.controlsQ(sliceA,'stop')<-?-James |
---|
168 | YAP query succeed |
---|
169 | prover success!! |
---|
170 | credentials needed : |
---|
171 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv).controlsQ(S,Priv) |
---|
172 | pSA.standard <- 'sliceA' |
---|
173 | pPA.std_ops <- 'stop' |
---|
174 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controls_(S) |
---|
175 | pSA.controls_(S:pSA.standard) <- pSA.owner(S) |
---|
176 | pSA.owner('sliceA') <- pDrd |
---|
177 | pDrd.controlsQ('sliceA','stop') <- pJames |
---|
178 | |
---|
179 | ===bad============ PA.controlsQ_(sliceA,'info')<-?-Lisa |
---|
180 | YAP query failed |
---|
181 | prover failed!! |
---|
182 | |
---|
183 | ===good============ PA.controlsQ(sliceA,'info')<-?-Lisa |
---|
184 | YAP query succeed |
---|
185 | prover success!! |
---|
186 | credentials needed : |
---|
187 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv).controlsQ(S,Priv) |
---|
188 | pSA.standard <- 'sliceA' |
---|
189 | pPA.std_ops <- 'info' |
---|
190 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controls_(S) |
---|
191 | pSA.controls_(S:pSA.standard) <- pSA.owner(S) |
---|
192 | pSA.owner('sliceA') <- pDrd |
---|
193 | pDrd.controlsQ('sliceA','info') <- pLisa |
---|
194 | |
---|
195 | ===good============ PA.controlsQ_(sliceA,'stop')<-?-Lisa |
---|
196 | YAP query succeed |
---|
197 | prover success!! |
---|
198 | credentials needed : |
---|
199 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
200 | pSA.standard <- 'sliceA' |
---|
201 | pPA.std_ops <- 'stop' |
---|
202 | pSA.delegate_controlsQ_('sliceA','stop') <- pLisa |
---|
203 | |
---|
204 | ===good============ PA.controlsQ(sliceA,'stop')<-?-Lisa |
---|
205 | YAP query succeed |
---|
206 | prover success!! |
---|
207 | credentials needed : |
---|
208 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) |
---|
209 | pSA.standard <- 'sliceA' |
---|
210 | pPA.std_ops <- 'stop' |
---|
211 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
212 | pSA.delegate_controlsQ_('sliceA','stop') <- pLisa |
---|
213 | |
---|
214 | ===good============ PA.controlsQ_(sliceA,'info')<-?-Tim |
---|
215 | YAP query succeed |
---|
216 | prover success!! |
---|
217 | credentials needed : |
---|
218 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).controlsQ_(S,Priv) |
---|
219 | pSA.standard <- 'sliceA' |
---|
220 | pPA.std_ops <- 'info' |
---|
221 | pSA.owner('sliceA') <- pDrd |
---|
222 | pDrd.controlsQ_('sliceA','info') <- pTim |
---|
223 | |
---|
224 | ===good============ PA.controlsQ(sliceA,'info')<-?-Tim |
---|
225 | YAP query succeed |
---|
226 | prover success!! |
---|
227 | credentials needed : |
---|
228 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) |
---|
229 | pSA.standard <- 'sliceA' |
---|
230 | pPA.std_ops <- 'info' |
---|
231 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).controlsQ_(S,Priv) |
---|
232 | pSA.owner('sliceA') <- pDrd |
---|
233 | pDrd.controlsQ_('sliceA','info') <- pTim |
---|
234 | |
---|
235 | ===good============ PA.controlsQ_(sliceA,'stop')<-?-Tim |
---|
236 | YAP query succeed |
---|
237 | prover success!! |
---|
238 | credentials needed : |
---|
239 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).controlsQ_(S,Priv) |
---|
240 | pSA.standard <- 'sliceA' |
---|
241 | pPA.std_ops <- 'stop' |
---|
242 | pSA.owner('sliceA') <- pDrd |
---|
243 | pDrd.controlsQ_('sliceA','stop') <- pTim |
---|
244 | |
---|
245 | ===good============ PA.controlsQ(sliceA,'stop')<-?-Tim |
---|
246 | YAP query succeed |
---|
247 | prover success!! |
---|
248 | credentials needed : |
---|
249 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) |
---|
250 | pSA.standard <- 'sliceA' |
---|
251 | pPA.std_ops <- 'stop' |
---|
252 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).controlsQ_(S,Priv) |
---|
253 | pSA.owner('sliceA') <- pDrd |
---|
254 | pDrd.controlsQ_('sliceA','stop') <- pTim |
---|
255 | |
---|
256 | ===good============ John.controlsQ(sliceB,info)<-?-$ Joe |
---|
257 | YAP query succeed |
---|
258 | prover success!! |
---|
259 | credentials needed : |
---|
260 | pJohn.controlsQ('sliceB','info') <- pJoe |
---|
261 | |
---|
262 | |
---|
263 | |
---|