Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
ProofCheckerTest | 3 | 0 | 0 | 3.464 | 2014-02-13T22:57:10 | vserver3141 |
Name | Status | Type | Time(s) |
---|---|---|---|
testCheck1 | Success | 2.465 | |
testCheck4 | Success | 0.521 | |
testCheck6 | Success | 0.432 |