| Designed for use with JUnit and Ant. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| CloseTest | 10 | 0 | 0 | 57.133 |
| Name | Status | Type | Time(s) |
|---|---|---|---|
| testDoubleClose | Success | 2.467 | |
| testCreationAndClose | Success | 2.072 | |
| testViewChangeReceptionOnChannelCloseByParticipant | Success | 5.275 | |
| testViewChangeReceptionOnChannelCloseByCoordinator | Success | 5.814 | |
| testConnectDisconnectConnectCloseSequence | Success | 4.132 | |
| testConnectCloseSequenceWith2Members | Success | 6.287 | |
| testCreationAndClose2 | Success | 4.072 | |
| testChannelClosedException | Success | 4.069 | |
| testCreationAndCloseLoop | Success | 20.772 | |
| testShutdown | Success | 2.018 |