source: examples/example_scripts/allout.save @ 658e7ef

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

1) add more tiny prover tests in examples/example_scripts
2) reverted the changes to ABAC_VERSION in libabac's abac_util.c

  • Property mode set to 100644
File size: 521 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) id script, expected failure
12   PASSED
13---running (perl) prover script, expected failure
14   PASSED
15
16 ==> RUN on python
17---running (python) attr script
18   PASSED
19---running (python) encrypted key attr script
20   PASSED
21---running (python) id script
22   PASSED
23---running (python) id script, expect failure
24   PASSED
25---running (python) prover script
26   PASSED
Note: See TracBrowser for help on using the repository browser.