mei_rt2mei_rt2_fix_1
|
Last change
on this file since 2cdbe49 was
e3462b4,
checked in by Mei <mei@…>, 12 years ago
|
|
1) make regression test to use just runcheck (hide runall)
2) alter the absolute path in the error message so the regression testing
would not be so user dependent when doing validation
3) add the missing null setting in abac_verifier's issuer_id line 335
|
-
Property mode set to
100644
|
|
File size:
1.2 KB
|
| Line | |
|---|
| 1 | % Restoring file /usr/local/lib/Yap/startup.yss |
|---|
| 2 | python: Couldn't load ID/KEY IDKEY cert Tom_IDKEY.pem |
|---|
| 3 | ABAC version 1.0 |
|---|
| 4 | ...initial principal set... |
|---|
| 5 | (pBob,keyid,y) |
|---|
| 6 | (pJack,keyid,y) |
|---|
| 7 | (pMary,keyid,y) |
|---|
| 8 | (pLori,keyid,n) |
|---|
| 9 | (pMark,keyid,y) |
|---|
| 10 | |
|---|
| 11 | |
|---|
| 12 | adding -> pMary(good) |
|---|
| 13 | adding -> pJack(good) |
|---|
| 14 | adding -> pMark(good) |
|---|
| 15 | adding -> pJohn(good,invisible) |
|---|
| 16 | adding -> pLori(good,nokey) |
|---|
| 17 | adding -> pTom(bad,nocert) |
|---|
| 18 | adding -> Casper(bad,unknown file) |
|---|
| 19 | ...final principal set... |
|---|
| 20 | (pBob,keyid,y) |
|---|
| 21 | (pJack,keyid,y) |
|---|
| 22 | (pMary,keyid,y) |
|---|
| 23 | (pLori,keyid,n) |
|---|
| 24 | (pMark,keyid,y) |
|---|
| 25 | (pJack,keyid,y) |
|---|
| 26 | (pJohn,keyid,y) |
|---|
| 27 | |
|---|
| 28 | |
|---|
| 29 | |
|---|
| 30 | |
|---|
| 31 | ========= yap db (dump_yap) |
|---|
| 32 | isType(pBob,keyid). |
|---|
| 33 | isType(pJack,keyid). |
|---|
| 34 | isType(pMary,keyid). |
|---|
| 35 | isType(pLori,keyid). |
|---|
| 36 | isType(pMark,keyid). |
|---|
| 37 | isType(pJack,keyid). |
|---|
| 38 | isType(pJohn,keyid). |
|---|
| 39 | appendL([],[]). |
|---|
| 40 | appendL([B|C],A) :- |
|---|
| 41 | appendL(C,D), |
|---|
| 42 | append(B,D,A). |
|---|
| 43 | append([],A,A). |
|---|
| 44 | append([B|C],A,[B|D]) :- |
|---|
| 45 | append(C,A,D). |
|---|
| 46 | file_search_path(library,A) :- |
|---|
| 47 | library_directory(A). |
|---|
| 48 | file_search_path(commons,_) :- |
|---|
| 49 | commons_directory(_). |
|---|
| 50 | file_search_path(swi,A) :- |
|---|
| 51 | current_prolog_flag(home,A). |
|---|
| 52 | file_search_path(yap,A) :- |
|---|
| 53 | current_prolog_flag(home,A). |
|---|
| 54 | file_search_path(system,A) :- |
|---|
| 55 | prolog_flag(host_type,A). |
|---|
| 56 | file_search_path(foreign,yap('lib/Yap')). |
|---|
| 57 | listing ok.. |
|---|
| 58 | ========= |
|---|
| 59 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
