Closed stdweird closed 8 years ago
Based on #96
I had some issues making the tests run in Trace in mvnprove itself, but i'll follow that up in #99
LGTM
Based on #96