source: examples/allout.save @ f0eb81d

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since f0eb81d was f0eb81d, checked in by Mei <mei@…>, 12 years ago

1) modified example's runall so a better tools to do complete run

also add runcheck to do comparison of run result
  • Property mode set to 100644
File size: 6.7 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 ==> RUN on evaluator_rt1_typed
175YAP dump succeed
176 
177===good============ USC.evaluatorOf(Maryann) <- John yap
178YAP query succeed
179prover success!!
180credentials needed :
181 pUSC.evaluatorOf(K) <- pUSC.managerOf(K)
182 pUSC.managerOf(K) <- pISI.managerOf(K)
183 pISI.managerOf(pMaryann) <- pJohn
184 
185===good============ USC.evaluatorOf(Maryann) <- John yap
186YAP query succeed
187prover success!!
188credentials needed :
189 pISI.managerOf(pMaryann) <- pJohn
190 
191===good============  USC.employee <-?- John yap 
192YAP query succeed
193prover success!!
194credentials needed :
195 pUSC.employee <- pISI.employee
196 pISI.employee <- pJohn
197
198 ==> RUN on experiment_create_rt0_typed
199YAP dump succeed
200 
201===good=============== Globotron.admin <- Alice yap
202YAP query succeed
203prover success!!
204credentials needed :
205 pGlobotron.admin <- pAlice
206 
207===bad=============== Globotron.admin <- Bob yap
208YAP query failed
209prover failed!!
210 
211===good=============== Acme.experiment_create <- Bob yap
212YAP query succeed
213prover success!!
214credentials needed :
215 pAcme.experiment_create <- pAcme.partner.experiment_create
216 pAcme.partner <- pGlobotron
217 pGlobotron.experiment_create <- pGlobotron.admin.power_user
218 pGlobotron.admin <- pAlice
219 pAlice.power_user <- pBob
220
221 ==> RUN on file_read_rt2_typed
222YAP dump succeed
223 
224===good============ alpha.read(fileA) <- Bob yap
225YAP query succeed
226prover success!!
227credentials needed :
228 pAlpha.read(F) <- pAlpha.managerOf(E:pAlpha.ownerOf(F))
229 pAlpha.ownerOf('file://fileA') <- pJoe
230 pAlpha.managerOf(pJoe) <- pBob
231 
232===bad============ alpha.read(fileA) <- Maryann yap
233YAP query failed
234prover failed!!
235
236 ==> RUN on fruits_rt2_typed
237YAP dump succeed
238 
239===good============ mary.what2eat <- navel orange yap
240YAP query succeed
241prover success!!
242credentials needed :
243 pMary.what2eat <- pRalphs.fruitprice(P:[..2.00])
244 pRalphs.fruitprice(0.50) <- 'navel orange'
245 
246===good============ mary.what2eat <- kiwi yap
247YAP query succeed
248prover success!!
249credentials needed :
250 pMary.what2eat <- pRalphs.fruitprice(P:[..2.00])
251 pRalphs.fruitprice(1.50) <- 'kiwi'
252 
253===bad============ bob.what2eat <- navel orange yap
254YAP query failed
255prover failed!!
256 
257===good============ ralphs.fruitprice(1.50) <- apple yap
258YAP query succeed
259prover success!!
260credentials needed :
261 pRalphs.fruitprice(1.50) <- 'apple'
262 
263===bad============ ralphs.fruitprice(1.50) <- green apple yap
264YAP query failed
265prover failed!!
Note: See TracBrowser for help on using the repository browser.