Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
ProofCheckerTest | 3 | 0 | 0 | 2.937 | 2014-02-14T01:52:12 | vserver3141 |
Name | Status | Type | Time(s) |
---|---|---|---|
testCheck1 | Success | 1.120 | |
testCheck4 | Success | 1.073 | |
testCheck6 | Success | 0.503 |