| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Network.ConnectionManager.Test.Utils
Synopsis
- verifyAbstractTransition :: AbstractTransition -> Bool
- validTransitionMap :: AbstractTransition -> (Int, String)
- verifyAbstractTransitionOrder :: Bool -> [AbstractTransition] -> All
- allValidTransitionsNames :: [String]
- abstractStateIsFinalTransition :: Transition' AbstractState -> Bool
- connectionManagerTraceMap :: ConnectionManagerTrace ntnAddr (ConnectionHandlerTrace ntnVersion ntnVersionData) -> String
Documentation
validTransitionMap :: AbstractTransition -> (Int, String) Source #
Maps each valid transition into one number. Collapses all invalid transition into a single number.
NOTE: Should be in sync with verifyAbstractTransition
verifyAbstractTransitionOrder Source #
Arguments
| :: Bool | Check last transition: useful for distinguish Diffusion layer tests vs non-Diffusion ones. |
| -> [AbstractTransition] | |
| -> All |
allValidTransitionsNames :: [String] Source #
List of all valid transition's names.
NOTE: Should be in sync with verifyAbstractTransition, but due to #3516
abrupt terminating transitions and identity transitions are trimmed for now,
until we tweak the generators to include more connection errors.
connectionManagerTraceMap :: ConnectionManagerTrace ntnAddr (ConnectionHandlerTrace ntnVersion ntnVersionData) -> String Source #