Changeset 3789e66 for tests

Timestamp:
Oct 3, 2013 3:54:37 PM (11 years ago)
Author:
Ted Faber <faber@…>
Branches:
abac0-leak, master
Children:
ad13a62
Parents:
b838398
Message:

Make sure tests can find prover

(No files)

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