Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
SimpleProofFinderPluginTest | 3 | 0 | 0 | 158.563 | 2014-02-14T01:44:42 | vserver3141 |
Name | Status | Type | Time(s) |
---|---|---|---|
testPlugin | Success | 46.377 | |
testPlugin2 | Success | 50.687 | |
testPluginFast | Success | 61.485 |