Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
ProofFinderImplTest | 3 | 0 | 0 | 102.504 | 2014-02-14T01:52:16 | vserver3141 |
Name | Status | Type | Time(s) |
---|---|---|---|
testFind | Success | 26.858 | |
testFind2 | Success | 75.353 | |
testFind3 | Success | 0.271 |