source: examples/python_tests/basic_id/id.save @ a59bc06

python: Couldn't load ID/KEY IDKEY cert Tom_IDKEY.pem
ABAC version 0.2.3
...initial principal set...
(pBob,keyid,y) 
(pJack,keyid,y) 
(pMary,keyid,y) 
(pLori,keyid,n) 
(pMark,keyid,y) 


adding -> pMary(good)
adding -> pJack(good)
adding -> pMark(good)
adding -> pJohn(good,invisible)
adding -> pLori(good,nokey)
adding -> pTom(bad,nocert)
adding -> Casper(bad,unknown file)
...final principal set...
(pBob,keyid,y) 
(pJack,keyid,y) 
(pMary,keyid,y) 
(pLori,keyid,n) 
(pMark,keyid,y) 
(pJack,keyid,y) 
(pJohn,keyid,y) 
(pTim,keyid,n) 
(pStanley,keyid,n) 




/* ========= yap db (dump_yap) */
isType(pBob,keyid).
isType(pJack,keyid).
isType(pMary,keyid).
isType(pLori,keyid).
isType(pMark,keyid).
isType(pJack,keyid).
isType(pJohn,keyid).
isType(pTim,keyid).
isType(pStanley,keyid).
appendL([],[]).
appendL([B|C],A) :-
   appendL(C,D),
   append(B,D,A).
append([],A,A).
append([B|C],A,[B|D]) :-
   append(C,A,D).
file_search_path(library,A) :-
   library_directory(A).
file_search_path(commons,_) :-
   commons_directory(_).
file_search_path(swi,A) :-
   current_prolog_flag(home,A).
file_search_path(yap,A) :-
   current_prolog_flag(home,A).
file_search_path(system,A) :-
   prolog_flag(host_type,A).
file_search_path(foreign,yap('lib/Yap')).
/* listing ok.. */
/* ========= */