| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Network.Protocol.ChainSync.Codec.TimeLimits.Test
Contents
Synopsis
- tests :: TestTree
- prop_short_wait_timeout_in_intersect :: PeerTrustable -> ChainSyncIdleTimeout -> Int -> Property
- prop_short_wait_timeout_in_canwait :: PeerTrustable -> ChainSyncIdleTimeout -> Int -> Property
- prop_timeout_in_idle :: PeerTrustable -> ChainSyncIdleTimeout -> Int -> Property
- prop_timeout_range_for_not_trustable_in_mustreply :: ChainSyncIdleTimeout -> Int -> Property
- prop_no_timeout_for_trustable_peers_in_mustreply :: ChainSyncIdleTimeout -> Int -> Property
Documentation
prop_short_wait_timeout_in_intersect :: PeerTrustable -> ChainSyncIdleTimeout -> Int -> Property Source #
For state StIntersect, the timeout is always shortWait
prop_short_wait_timeout_in_canwait :: PeerTrustable -> ChainSyncIdleTimeout -> Int -> Property Source #
For state StNext StCanAwait, the timeout is always shortWait
prop_timeout_in_idle :: PeerTrustable -> ChainSyncIdleTimeout -> Int -> Property Source #
For state StIdle, the timeout is ChainSyncIdleTimeout
prop_timeout_range_for_not_trustable_in_mustreply :: ChainSyncIdleTimeout -> Int -> Property Source #
For non-trustable peers and in StNext StMustReply state, the timeout is
always within the specified range
prop_no_timeout_for_trustable_peers_in_mustreply :: ChainSyncIdleTimeout -> Int -> Property Source #
For trustable peers, there's never a timeout in StNext StMustReply
state