Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
SimpleProofFinderPluginTest | 3 | 0 | 0 | 554.315 | 2014-02-14T07:16:47 | vserver3141 |
Name | Status | Type | Time(s) |
---|---|---|---|
testPlugin | Success | 176.742 | |
testPlugin2 | Success | 175.448 | |
testPluginFast | Success | 202.111 |