abac0-leak
Last change
on this file since 367e333 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 |
---|
3 | YAP query succeed |
---|
4 | prover success!! |
---|
5 | credentials needed : |
---|
6 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.00]) |
---|
7 | pRalphs.fruitprice(0.50) <- 'navel orange' |
---|
8 | |
---|
9 | ===good============ mary.what2eat <- kiwi |
---|
10 | YAP query succeed |
---|
11 | prover success!! |
---|
12 | credentials needed : |
---|
13 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.00]) |
---|
14 | pRalphs.fruitprice(1.50) <- 'kiwi' |
---|
15 | |
---|
16 | ===bad============ bob.what2eat <- navel orange |
---|
17 | YAP query failed |
---|
18 | prover failed!! |
---|
19 | |
---|
20 | ===good============ ralphs.fruitprice(1.50) <- apple |
---|
21 | YAP query succeed |
---|
22 | prover success!! |
---|
23 | credentials needed : |
---|
24 | pRalphs.fruitprice(1.50) <- 'apple' |
---|
25 | |
---|
26 | ===bad============ ralphs.fruitprice(1.50) <- green apple |
---|
27 | YAP query failed |
---|
28 | prover failed!! |
---|
Note: See
TracBrowser
for help on using the repository browser.