Timestamp:
Aug 7, 2012 10:45:16 AM (12 years ago)
Author:
Mei <mei@…>
Branches:
mei_rt2, mei_rt2_fix_1
Children:
373bf68
Parents:
c7df2ad
Message:

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

(No files)

Note: See TracChangeset for help on using the changeset viewer.