source: examples/example_scripts/allout.save @ 02036f4

abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
Last change on this file since 02036f4 was 4721618, checked in by Mei <mei@…>, 12 years ago

1) tested out python and perl test scripts along with

abac_chunk_t calls in libabac's abac.hh

  • Property mode set to 100644
File size: 546 bytes
Line 
1
2 ==> RUN on c
3---running (c) attr script
4   PASSED
5---running (c) prover script
6   PASSED
7
8 ==> RUN on perl
9---running (perl) id script
10   PASSED
11---running (perl) id2 script, expected failure
12   PASSED
13---running (perl) attr script
14   PASSED
15---running (perl) prover script
16   PASSED
17
18 ==> RUN on python
19---running (python) attr script
20   PASSED
21---running (python) id script
22   PASSED
23---running (python) id2 script, expect failure
24   PASSED
25---running (python) id3 script, expect failure
26   PASSED
27---running (python) prover script
28   PASSED
Note: See TracBrowser for help on using the repository browser.