source: tests/scaling_tests/haystack/fruit_prover/base/RESULT @ ad13a62

abac0-leak
Last change on this file since ad13a62 was ec550f7, checked in by Mei <mei@…>, 11 years ago

1) reworked how API doc is generated
2) tweak top level Makefile.am
3) loading issuer principal as side-effect of loading

an attribute credentials

4) add examples of GENI specific attribute credentials

and principal certificates into the regression testing

5) rename examples to tests
  • Property mode set to 100644
File size: 722 bytes
Line 
1 
2===good============ mary.what2eat <- navel orange
3YAP query succeed
4prover success!!
5credentials needed :
6 pMary.what2eat  <- pRalphs.fruitprice(P:[..2.00])
7 pRalphs.fruitprice(0.50)  <- 'navel orange'
8 
9===good============ mary.what2eat <- kiwi
10YAP query succeed
11prover success!!
12credentials needed :
13 pMary.what2eat  <- pRalphs.fruitprice(P:[..2.00])
14 pRalphs.fruitprice(1.50)  <- 'kiwi'
15 
16===bad============ bob.what2eat <- navel orange
17YAP query failed
18prover failed!!
19 
20===good============ ralphs.fruitprice(1.50) <- apple
21YAP query succeed
22prover success!!
23credentials needed :
24 pRalphs.fruitprice(1.50)  <- 'apple'
25 
26===bad============ ralphs.fruitprice(1.50) <- green apple
27YAP query failed
28prover failed!!
Note: See TracBrowser for help on using the repository browser.