source: tests/test_util.sh

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3789e66   11 years faber Make sure tests can find prover abac0-leak
(edit) @831da18   11 years Mei 1) getting ready to for 0.1.6 abac0-leakabac0-mei
(edit) @4f79997   11 years Mei 1) add a new scaling test -haystack/ralphs 2) tweak some libabac code … abac0-leakabac0-mei
(edit) @1bf0f03   11 years Mei 1) save a copy before fixup of tests directory abac0-leakabac0-mei
(add) @3c30b59   11 years Mei 1) add in new refactored regression testing directory 2) undo the … abac0-leakabac0-mei
Note: See TracRevisionLog for help on using the revision log.