Changeset 4f79997 for libabac/prover.c

Timestamp:
Aug 27, 2013 1:41:22 PM (6 years ago)
Author:
Mei <mei@…>
Branches:
abac0-leak, abac0-mei, master
Children:
2be12d2
Parents:
a1631e7
Message:

1) add a new scaling test -haystack/ralphs
2) tweak some libabac code here and there

(No files)

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