ouroboros-consensus-test-0.1.0.0: Tests of the consensus layer
Safe HaskellNone
LanguageHaskell2010

Test.ThreadNet.Util.NodeRestarts

Synopsis

Documentation

data NodeRestart Source #

Constructors

NodeRekey

restart the node with a fresh operational key and immediately emit a delegation certificate transaction

NodeRestart

restart the node without rekeying

newtype NodeRestarts Source #

Which nodes are scheduled to restart in each slot

INVARIANT no element Map is empty

genNodeRestartsNodeJoinPlanNumSlots → Gen NodeRestarts Source #

Generate a valid NodeRestarts

POSTCONDITION will not restart a node before it joins

POSTCONDITION will not restart a node when it's scheduled to lead *according* *to* *round-robin*

POSTCONDITION will not simultaneously restart all nodes that have previously joined