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.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
61 | pSA.standard <- 'sliceA' |
---|
62 | pPA.std_ops <- 'info' |
---|
63 | pSA.delegate_controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).delegate_controlsQ_(S,Priv) |
---|
64 | pSA.owner('sliceA') <- pDrd |
---|
65 | pDrd.delegate_controlsQ_('sliceA','info') <- pJohn |
---|
66 | |
---|
67 | ===bad============ SA.controlsQ('sliceB','instantiate') <-?- Tim |
---|
68 | YAP query failed |
---|
69 | A partial proof(type:what) |
---|
70 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
71 | pSA.standard <- 'sliceA' |
---|
72 | pPA.std_ops <- 'instantiate' |
---|
73 | pSA.delegate_controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).delegate_controlsQ_(S,Priv) |
---|
74 | pSA.owner('sliceA') <- pDrd |
---|
75 | pDrd.delegate_controlsQ_('sliceA','instantiate') <- pTim |
---|
76 | |
---|
77 | ===bad============ SA.controlsQ('sliceB','info') <-?- Tim |
---|
78 | YAP query failed |
---|
79 | A partial proof(type:what) |
---|
80 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
81 | pSA.standard <- 'sliceA' |
---|
82 | pPA.std_ops <- 'instantiate' |
---|
83 | pSA.delegate_controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).delegate_controlsQ_(S,Priv) |
---|
84 | pSA.owner('sliceA') <- pDrd |
---|
85 | pDrd.delegate_controlsQ_('sliceA','instantiate') <- pTim |
---|
86 | |
---|
87 | ===good============ SA.controlsQ('sliceB','info') <-?- Joe |
---|
88 | YAP query succeed |
---|
89 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) |
---|
90 | pSA.standard <- 'sliceB' |
---|
91 | pPA.std_ops <- 'info' |
---|
92 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
93 | pSA.delegate_controlsQ_('sliceB','info') <- pJohn |
---|
94 | |
---|
95 | |
---|
96 | |
---|
97 | =====================s5_run_query================== |
---|
98 | |
---|
99 | ===bad============ PA.controlsQ_(sliceA,'info')<-?-Dan |
---|
100 | YAP query failed |
---|
101 | prover failed!! |
---|
102 | |
---|
103 | ===good============ PA.controlsQ(sliceA,'info')<-?-Dan |
---|
104 | YAP query succeed |
---|
105 | prover success!! |
---|
106 | credentials needed : |
---|
107 | pSA.controlsQ('sliceA','info') <- pDan |
---|
108 | |
---|
109 | ===bad============ PA.controlsQ_(sliceA,'stop')<-?-Dan |
---|
110 | YAP query failed |
---|
111 | prover failed!! |
---|
112 | |
---|
113 | ===good============ PA.controlsQ(sliceA,'stop')<-?-Dan |
---|
114 | YAP query succeed |
---|
115 | prover success!! |
---|
116 | credentials needed : |
---|
117 | pSA.controlsQ('sliceA','stop') <- pDan |
---|
118 | |
---|
119 | ===good============ PA.controlsQ_(sliceA,'info')<-?-Frank |
---|
120 | YAP query succeed |
---|
121 | prover success!! |
---|
122 | credentials needed : |
---|
123 | pSA.controlsQ_('sliceA','info') <- pFrank |
---|
124 | |
---|
125 | ===good============ PA.controlsQ(sliceA,'info')<-?-Frank |
---|
126 | YAP query succeed |
---|
127 | prover success!! |
---|
128 | credentials needed : |
---|
129 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) |
---|
130 | pSA.standard <- 'sliceA' |
---|
131 | pPA.std_ops <- 'info' |
---|
132 | pSA.controlsQ_('sliceA','info') <- pFrank |
---|
133 | |
---|
134 | ===good============ PA.controlsQ_(sliceA,'stop')<-?-Frank |
---|
135 | YAP query succeed |
---|
136 | prover success!! |
---|
137 | credentials needed : |
---|
138 | pSA.controlsQ_('sliceA','stop') <- pFrank |
---|
139 | |
---|
140 | ===good============ PA.controlsQ(sliceA,'stop')<-?-Frank |
---|
141 | YAP query succeed |
---|
142 | prover success!! |
---|
143 | credentials needed : |
---|
144 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) |
---|
145 | pSA.standard <- 'sliceA' |
---|
146 | pPA.std_ops <- 'stop' |
---|
147 | pSA.controlsQ_('sliceA','stop') <- pFrank |
---|
148 | |
---|
149 | ===bad============ PA.controlsQ_(sliceA,'info')<-?-James |
---|
150 | YAP query succeed |
---|
151 | prover success!! |
---|
152 | credentials needed : |
---|
153 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
154 | pSA.standard <- 'sliceA' |
---|
155 | pPA.std_ops <- 'info' |
---|
156 | pSA.delegate_controlsQ_('sliceA','info') <- pJames |
---|
157 | |
---|
158 | ===good============ PA.controlsQ(sliceA,'info')<-?-James |
---|
159 | YAP query succeed |
---|
160 | prover success!! |
---|
161 | credentials needed : |
---|
162 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) |
---|
163 | pSA.standard <- 'sliceA' |
---|
164 | pPA.std_ops <- 'info' |
---|
165 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
166 | pSA.delegate_controlsQ_('sliceA','info') <- pJames |
---|
167 | |
---|
168 | ===bad============ PA.controlsQ_(sliceA,'stop')<-?-James |
---|
169 | YAP query failed |
---|
170 | prover failed!! |
---|
171 | |
---|
172 | ===good============ PA.controlsQ(sliceA,'stop')<-?-James |
---|
173 | YAP query succeed |
---|
174 | prover success!! |
---|
175 | credentials needed : |
---|
176 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv).controlsQ(S,Priv) |
---|
177 | pSA.standard <- 'sliceA' |
---|
178 | pPA.std_ops <- 'stop' |
---|
179 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controls_(S) |
---|
180 | pSA.controls_(S:pSA.standard) <- pSA.owner(S) |
---|
181 | pSA.owner('sliceA') <- pDrd |
---|
182 | pDrd.controlsQ('sliceA','stop') <- pJames |
---|
183 | |
---|
184 | ===bad============ PA.controlsQ_(sliceA,'info')<-?-Lisa |
---|
185 | YAP query failed |
---|
186 | prover failed!! |
---|
187 | |
---|
188 | ===good============ PA.controlsQ(sliceA,'info')<-?-Lisa |
---|
189 | YAP query succeed |
---|
190 | prover success!! |
---|
191 | credentials needed : |
---|
192 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv).controlsQ(S,Priv) |
---|
193 | pSA.standard <- 'sliceA' |
---|
194 | pPA.std_ops <- 'info' |
---|
195 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controls_(S) |
---|
196 | pSA.controls_(S:pSA.standard) <- pSA.owner(S) |
---|
197 | pSA.owner('sliceA') <- pDrd |
---|
198 | pDrd.controlsQ('sliceA','info') <- pLisa |
---|
199 | |
---|
200 | ===good============ PA.controlsQ_(sliceA,'stop')<-?-Lisa |
---|
201 | YAP query succeed |
---|
202 | prover success!! |
---|
203 | credentials needed : |
---|
204 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
205 | pSA.standard <- 'sliceA' |
---|
206 | pPA.std_ops <- 'stop' |
---|
207 | pSA.delegate_controlsQ_('sliceA','stop') <- pLisa |
---|
208 | |
---|
209 | ===good============ PA.controlsQ(sliceA,'stop')<-?-Lisa |
---|
210 | YAP query succeed |
---|
211 | prover success!! |
---|
212 | credentials needed : |
---|
213 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) |
---|
214 | pSA.standard <- 'sliceA' |
---|
215 | pPA.std_ops <- 'stop' |
---|
216 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.delegate_controlsQ_(S,Priv) |
---|
217 | pSA.delegate_controlsQ_('sliceA','stop') <- pLisa |
---|
218 | |
---|
219 | ===good============ PA.controlsQ_(sliceA,'info')<-?-Tim |
---|
220 | YAP query succeed |
---|
221 | prover success!! |
---|
222 | credentials needed : |
---|
223 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).controlsQ_(S,Priv) |
---|
224 | pSA.standard <- 'sliceA' |
---|
225 | pPA.std_ops <- 'info' |
---|
226 | pSA.owner('sliceA') <- pDrd |
---|
227 | pDrd.controlsQ_('sliceA','info') <- pTim |
---|
228 | |
---|
229 | ===good============ PA.controlsQ(sliceA,'info')<-?-Tim |
---|
230 | YAP query succeed |
---|
231 | prover success!! |
---|
232 | credentials needed : |
---|
233 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) |
---|
234 | pSA.standard <- 'sliceA' |
---|
235 | pPA.std_ops <- 'info' |
---|
236 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).controlsQ_(S,Priv) |
---|
237 | pSA.owner('sliceA') <- pDrd |
---|
238 | pDrd.controlsQ_('sliceA','info') <- pTim |
---|
239 | |
---|
240 | ===good============ PA.controlsQ_(sliceA,'stop')<-?-Tim |
---|
241 | YAP query succeed |
---|
242 | prover success!! |
---|
243 | credentials needed : |
---|
244 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).controlsQ_(S,Priv) |
---|
245 | pSA.standard <- 'sliceA' |
---|
246 | pPA.std_ops <- 'stop' |
---|
247 | pSA.owner('sliceA') <- pDrd |
---|
248 | pDrd.controlsQ_('sliceA','stop') <- pTim |
---|
249 | |
---|
250 | ===good============ PA.controlsQ(sliceA,'stop')<-?-Tim |
---|
251 | YAP query succeed |
---|
252 | prover success!! |
---|
253 | credentials needed : |
---|
254 | pSA.controlsQ(S:pSA.standard,Priv:pPA.std_ops) <- pSA.controlsQ_(S,Priv) |
---|
255 | pSA.standard <- 'sliceA' |
---|
256 | pPA.std_ops <- 'stop' |
---|
257 | pSA.controlsQ_(S:pSA.standard,Priv:pPA.std_ops) <- pSA.owner(S).controlsQ_(S,Priv) |
---|
258 | pSA.owner('sliceA') <- pDrd |
---|
259 | pDrd.controlsQ_('sliceA','stop') <- pTim |
---|
260 | |
---|
261 | ===good============ John.controlsQ(sliceB,info)<-?-$ Joe |
---|
262 | YAP query succeed |
---|
263 | prover success!! |
---|
264 | credentials needed : |
---|
265 | pJohn.controlsQ('sliceB','info') <- pJoe |
---|
266 | |
---|
267 | |
---|
268 | |
---|