source: examples/passphrase_tests/creddy_prover/acme_rockets_rt0/query.save @ 46df1bc

mei_rt2mei_rt2_fix_1
Last change on this file since 46df1bc was f2d67a5, checked in by Mei <mei@…>, 12 years ago

1) put back that yap info line in the saved example output

  • Property mode set to 100644
File size: 803 bytes
Line 
1% Restoring file /usr/local/lib/Yap/startup.yss
2 
3===good============ Acme.preferred_customer <- Coyote
4% Restoring file /usr/local/lib/Yap/startup.yss
5YAP query succeed
6prover success!!
7credentials needed :
8 pAcme.preferred_customer  <- pCoyote
9 
10===good=============== Acme.buy_rockets <- Coyote
11% Restoring file /usr/local/lib/Yap/startup.yss
12YAP query succeed
13prover success!!
14credentials needed :
15 pAcme.buy_rockets  <- pAcme.preferred_customer
16 pAcme.preferred_customer  <- pCoyote
17 
18===bad=============== Acme.buy_rockets <- Acme.preferred_customer
19% Restoring file /usr/local/lib/Yap/startup.yss
20fail, a.o <- b.o and a.r <- a.r query is not implemented yet !!!
21 
22===bad=============== Coyote.friend <- Acme
23% Restoring file /usr/local/lib/Yap/startup.yss
24YAP query failed
25prover failed!!
Note: See TracBrowser for help on using the repository browser.