source: examples/allout.save @ 923b4dd

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since 923b4dd was 9806e76, checked in by Mei <mei@…>, 13 years ago

1) add handling for typed anonymous term, [int:?]
2) make a pass through abac/doc
3) fix up creddy to take oset option at different calls
  • Property mode set to 100644
File size: 7.6 KB
Line 
1
2 ==> RUN on access_rt2_typed
3YAP dump succeed
4 
5===good============ Alpha.access(Read,fileA)<-?-Bob  yap
6YAP query succeed
7prover success!!
8credentials needed :
9 pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P)
10 pAlpha.documents('proj1') <- 'file//fileA'
11 pAlpha.team('proj1') <- pBob
12 
13===bad============ Alpha.access(Read,fileA)<-?-Joe  yap
14YAP query failed
15prover failed!!
16 
17===good============ Alpha.team(proj2)<-?-Joe  yap
18YAP query succeed
19prover success!!
20credentials needed :
21 pAlpha.team('proj2') <- pJoe
22
23 ==> RUN on acme_friend_rt1_typed
24YAP dump succeed
25 
26===bad============ Acme.friendOf(Roadrunner) <- Coyote yap
27YAP query failed
28prover failed!!
29 
30===good============ Acme.friendOf(Roadrunner) <- Jackrabbit yap
31YAP query succeed
32prover success!!
33credentials needed :
34 pAcme.friendOf(pRoadrunner) <- pJackrabbit
35 
36===good============ Acme.preferred_customer <- Jackrabbit yap
37YAP query succeed
38prover success!!
39credentials needed :
40 pAcme.preferred_customer <- pAcme.friendOf(pRoadrunner)
41 pAcme.friendOf(pRoadrunner) <- pJackrabbit
42 
43===good============ Acme.preferred_customer <- Coyote yap
44YAP query succeed
45prover success!!
46credentials needed :
47 pAcme.preferred_customer <- pCoyote
48 
49===bad============ Acme.preferred_customer <- badCoyote yap
50yyerror: encountered an invalid SHA id
51prover failed!!
52
53 ==> RUN on acme_rockets_intersection_rt0_typed
54YAP dump succeed
55 
56===good============ Acme.buy_rockets <- Coyote yap
57YAP query succeed
58prover success!!
59credentials needed :
60 pAcme.buy_rockets <- pAcme.preferred_customer & pWarnerBros.character
61 pAcme.preferred_customer <- pCoyote
62 pWarnerBros.character <- pCoyote
63 
64===bad============ Acme.bad_buy_rockets <- Coyote yap
65YAP query failed
66prover failed!!
67 
68===bad============ 99Acme.buy_rockets <- Coyote yap
69yyerror: encountered an invalid SHA id
70prover failed!!
71 
72===bad=============== Acme.buy_rockets <- Batman yap
73YAP query failed
74prover failed!!
75
76 ==> RUN on acme_rockets_rt0_typed
77YAP dump succeed
78 
79===good============ Acme.preferred_customer <- Coyote yap
80YAP query succeed
81prover success!!
82credentials needed :
83 pAcme.preferred_customer <- pCoyote
84 
85===good=============== Acme.buy_rockets <- Coyote yap
86YAP query succeed
87prover success!!
88credentials needed :
89 pAcme.buy_rockets <- pAcme.preferred_customer
90 pAcme.preferred_customer <- pCoyote
91 
92===bad=============== Acme.buy_rockets <- Acme.preferred_customer yap
93fail, a.r <- b.r query is not implemented yet !!!
94 
95===bad=============== Coyote.friend <- Acme yap
96YAP query failed
97prover failed!!
98
99 ==> RUN on alice_rt1_typed
100YAP dump succeed
101 
102===good============ Party.guests <- dourmouse yap
103YAP query succeed
104prover success!!
105credentials needed :
106 pParty.guests <- pParty.friendOf(pMarchHare)
107 pParty.friendOf(pMarchHare) <- pDormouse
108 
109===bad============ Party.guests <- hatter yap
110YAP query failed
111prover failed!!
112
113 ==> RUN on alumni2_rt1_typed
114YAP dump succeed
115 
116===good============ stateU.foundingAlumni <- Bob yap
117YAP query succeed
118prover success!!
119credentials needed :
120 pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1963,1961,1960])
121 pStateU.diploma('mathmatics',1961) <- pBob
122 
123===bad============ stateU.foundingAlumni <- Maryann yap
124YAP query failed
125prover failed!!
126 
127===bad============ stateU.foundingAlumni <- Joe yap
128YAP query failed
129prover failed!!
130
131 ==> RUN on alumni3_rt1_typed
132YAP dump succeed
133 
134===good============ stateU.foundingAlumni <- Bob yap
135YAP query succeed
136prover success!!
137credentials needed :
138 pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960])
139 pStateU.diploma('mathmatics',1961) <- pBob
140 
141===bad============ stateU.foundingAlumni <- Mark yap
142YAP query failed
143prover failed!!
144 
145===bad============ stateU.foundingAlumni <- Joe yap
146YAP query failed
147prover failed!!
148 
149===bad============ stateU.foundingAlumni <- Maryann yap
150YAP query failed
151prover failed!!
152 
153===good============ stateU.foundingAlumni <- Jan yap
154YAP query succeed
155prover success!!
156credentials needed :
157 pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960])
158 pStateU.diploma('psychology',1960) <- pJan
159
160 ==> RUN on alumni_rt1_typed
161YAP dump succeed
162 
163===bad============ stateU.foundingAlumni <- Bob yap
164YAP query failed
165prover failed!!
166 
167===good============ stateU.foundingAlumni <- Maryann yap
168YAP query succeed
169prover success!!
170credentials needed :
171 pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1955..1958])
172 pStateU.diploma('psychology',1956) <- pMaryann
173 
174===good============ stateU.foundingAlumni <- Joe yap
175YAP query succeed
176prover success!!
177credentials needed :
178 pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1955..1958])
179 pStateU.diploma('zoology',1955) <- pJoe
180
181 ==> RUN on balltime_rt2_typed
182YAP dump succeed
183 
184===good============ league.stadium(access,true,20120128T130000)<-?-john  yap
185YAP query succeed
186prover success!!
187credentials needed :
188 pLeague.stadium('access',true,F:pLeague.gametime(T)) <- pLeague.players(T)
189 pLeague.gametime('north') <- time(2012,02,28,13,00,00)
190 pLeague.players('north') <- pJohn
191 
192===bad============ league.stadium(access,true,20120128T110000)<-?-mark  yap
193YAP query failed
194prover failed!!
195 
196===good============ league.stadium(access,true,20120128T080000)<-?-mark  yap
197YAP query succeed
198prover success!!
199credentials needed :
200 pLeague.stadium('access',B:[true],F:[20120228T080000..20120228T090000]) <- pLeague.players(T)
201 pLeague.players('south') <- pMark
202
203 ==> RUN on evaluator_rt1_typed
204YAP dump succeed
205 
206===good============ USC.evaluatorOf(Maryann) <- John yap
207YAP query succeed
208prover success!!
209credentials needed :
210 pUSC.evaluatorOf(K) <- pUSC.managerOf(K)
211 pUSC.managerOf(K) <- pISI.managerOf(K)
212 pISI.managerOf(pMaryann) <- pJohn
213 
214===good============ ISI.managerOf(Maryann) <- John yap
215YAP query succeed
216prover success!!
217credentials needed :
218 pISI.managerOf(pMaryann) <- pJohn
219 
220===good============  USC.employee <-?- John yap 
221YAP query succeed
222prover success!!
223credentials needed :
224 pUSC.employee <- pISI.employee
225 pISI.employee <- pJohn
226
227 ==> RUN on experiment_create_rt0_typed
228YAP dump succeed
229 
230===good=============== Globotron.admin <- Alice yap
231YAP query succeed
232prover success!!
233credentials needed :
234 pGlobotron.admin <- pAlice
235 
236===bad=============== Globotron.admin <- Bob yap
237YAP query failed
238prover failed!!
239 
240===good=============== Acme.experiment_create <- Bob yap
241YAP query succeed
242prover success!!
243credentials needed :
244 pAcme.experiment_create <- pAcme.partner.experiment_create
245 pAcme.partner <- pGlobotron
246 pGlobotron.experiment_create <- pGlobotron.admin.power_user
247 pGlobotron.admin <- pAlice
248 pAlice.power_user <- pBob
249
250 ==> RUN on file_read_rt2_typed
251YAP dump succeed
252 
253===good============ alpha.read(fileA) <- Bob yap
254YAP query succeed
255prover success!!
256credentials needed :
257 pAlpha.read(F) <- pAlpha.managerOf(E:pAlpha.ownerOf(F))
258 pAlpha.ownerOf('file://fileA') <- pJoe
259 pAlpha.managerOf(pJoe) <- pBob
260 
261===bad============ alpha.read(fileA) <- Maryann yap
262YAP query failed
263prover failed!!
264
265 ==> RUN on fruits_rt2_typed
266YAP dump succeed
267 
268===good============ mary.what2eat <- navel orange yap
269YAP query succeed
270prover success!!
271credentials needed :
272 pMary.what2eat <- pRalphs.fruitprice(P:[..2.00])
273 pRalphs.fruitprice(0.50) <- 'navel orange'
274 
275===good============ mary.what2eat <- kiwi yap
276YAP query succeed
277prover success!!
278credentials needed :
279 pMary.what2eat <- pRalphs.fruitprice(P:[..2.00])
280 pRalphs.fruitprice(1.50) <- 'kiwi'
281 
282===bad============ bob.what2eat <- navel orange yap
283YAP query failed
284prover failed!!
285 
286===good============ ralphs.fruitprice(1.50) <- apple yap
287YAP query succeed
288prover success!!
289credentials needed :
290 pRalphs.fruitprice(1.50) <- 'apple'
291 
292===bad============ ralphs.fruitprice(1.50) <- green apple yap
293YAP query failed
294prover failed!!
Note: See TracBrowser for help on using the repository browser.