source: examples/python_tests/basic_id/id.save @ 2efdff5

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

1) fix the missing check for 'This' rt2.y when called from creddy/prover

combo

2) patch up the stringify of abac_term that is of time type.
3) update the testing to reflect the changes to baseline output

  • Property mode set to 100644
File size: 1.2 KB
Line 
1% Restoring file /usr/local/lib/Yap/startup.yss
2python: Couldn't load ID/KEY IDKEY cert Tom_IDKEY.pem
3ABAC version 2.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
12adding -> pMary(good)
13adding -> pJack(good)
14adding -> pMark(good)
15adding -> pJohn(good,invisible)
16adding -> pLori(good,nokey)
17adding -> pTom(bad,nocert)
18adding -> 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)
32isType(pBob,keyid).
33isType(pJack,keyid).
34isType(pMary,keyid).
35isType(pLori,keyid).
36isType(pMark,keyid).
37isType(pJack,keyid).
38isType(pJohn,keyid).
39appendL([],[]).
40appendL([B|C],A) :-
41   appendL(C,D),
42   append(B,D,A).
43append([],A,A).
44append([B|C],A,[B|D]) :-
45   append(C,A,D).
46file_search_path(library,A) :-
47   library_directory(A).
48file_search_path(commons,_) :-
49   commons_directory(_).
50file_search_path(swi,A) :-
51   current_prolog_flag(home,A).
52file_search_path(yap,A) :-
53   current_prolog_flag(home,A).
54file_search_path(system,A) :-
55   prolog_flag(host_type,A).
56file_search_path(foreign,yap('lib/Yap')).
57listing ok..
58=========
59
Note: See TracBrowser for help on using the repository browser.