Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
FormallyProvedStateTest | 6 | 0 | 0 | 0.172 | 2014-02-13T22:52:40 | vserver3141 |
Name | Status | Type | Time(s) |
---|---|---|---|
testGetCode | Success | 0.081 | |
testGetText | Success | 0.006 | |
testToString | Success | 0.018 | |
testIsFailure | Success | 0.006 | |
testEquals | Success | 0.007 | |
testHashCode | Success | 0.006 |