source: examples/example_scripts/allout.save @ db99d8d

mei_rt2mei_rt2_fix_1
Last change on this file since db99d8d 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
RevLine 
[ba6027a]1
2 ==> RUN on c
3---running (c) attr script
4   PASSED
[bea18ef]5---running (c) prover script
6   PASSED
[ba6027a]7
8 ==> RUN on perl
9---running (perl) id script
10   PASSED
11---running (perl) id script, expected failure
12   PASSED
[bea18ef]13---running (perl) prover script, expected failure
14   PASSED
[ba6027a]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
[bea18ef]25---running (python) prover script
26   PASSED
Note: See TracBrowser for help on using the repository browser.