| Designed for use with JUnit and Ant. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| CloseTest | 10 | 0 | 0 | 57.049 |
| Name | Status | Type | Time(s) |
|---|---|---|---|
| testDoubleClose | Success | 2.455 | |
| testCreationAndClose | Success | 2.072 | |
| testViewChangeReceptionOnChannelCloseByParticipant | Success | 5.278 | |
| testViewChangeReceptionOnChannelCloseByCoordinator | Success | 5.790 | |
| testConnectDisconnectConnectCloseSequence | Success | 4.131 | |
| testConnectCloseSequenceWith2Members | Success | 6.316 | |
| testCreationAndClose2 | Success | 4.073 | |
| testChannelClosedException | Success | 4.070 | |
| testCreationAndCloseLoop | Success | 20.761 | |
| testShutdown | Success | 2.017 |