ouroboros-network-framework:testlib
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Network.InboundGovernor.Test.Utils

Synopsis

Documentation

pattern RemoteEstSt :: RemoteSt Source #

Pattern synonym which matches either RemoteHotEst or RemoteWarmSt.

verifyRemoteTransition :: RemoteTransition -> Bool Source #

Specification of the transition table of the inbound governor.

validRemoteTransitionMap :: RemoteTransition -> (Int, String) Source #

Maps each valid remote transition into one number. Collapses all invalid transition into a single number.

NOTE: Should be in sync with verifyRemoteTransition

allValidRemoteTransitionsNames :: [String] Source #

List of all valid transition's names.

NOTE: Should be in sync with verifyAbstractTransition.

verifyRemoteTransitionOrder Source #

Arguments

:: Bool

Check last transition: useful for distinguish Diffusion layer tests vs non-Diffusion ones.

-> [RemoteTransition] 
-> All 

serverTraceMap :: Show ntnAddr => ServerTrace ntnAddr -> String Source #