FullFlowAfterDecided tests a decided msg for round 1 followed by a full proposal, prepare, commit for round 2.

LateCommit tests process late commit msg for an instance which just decided.

LateCommitPastInstance tests process commit msg for a previously decided instance.

LateCommitPastRound tests process late commit msg for an instance which just decided for a round < decided round.

LatePrepare tests process late prepare msg for an instance which just decided.

LatePreparePastInstance tests process prepare msg for a previously decided instance.

LatePreparePastRound tests process late prepare msg for an instance which just decided for a round < decided round.

LateProposal tests process late proposal msg for an instance which just decided.

LateProposalPastInstance tests process proposal msg for a previously decided instance.

LateProposalPastInstanceNonDuplicate tests a non-duplicated proposal msg for a previously decided instance.

LateProposalPastRound tests process late proposal msg for an instance which just decided for a round < decided round.

LateRoundChange tests process late round change msg for an instance which just decided.

LateRoundChangePastInstance tests process round change msg for a previously decided instance.

LateRoundChangePastRound tests process late round change msg for an instance which just decided for a round < decided round.