roundchange

package
v0.3.8 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Apr 9, 2024 License: GPL-3.0 Imports: 7 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func AfterProposal added in v0.2.7

func AfterProposal() tests.SpecTest

AfterProposal tests a round change msg after prev quorum + received proposal

func DuplicateMsg added in v0.2.7

func DuplicateMsg() tests.SpecTest

DuplicateMsg tests a duplicate rc msg (first one inserted, second not)

func DuplicateMsgQuorum

func DuplicateMsgQuorum() tests.SpecTest

DuplicateMsgQuorum tests a duplicate rc msg for signer 1, after which enough msgs for quorum

func DuplicateMsgQuorumPreparedRCFirst added in v0.2.7

func DuplicateMsgQuorumPreparedRCFirst() tests.SpecTest

DuplicateMsgQuorumPreparedRCFirst tests a duplicate rc msg (the prev prepared one first)

func EmptySigners added in v0.3.8

func EmptySigners() tests.SpecTest

EmptySigners tests a round change msg with no signers

func F1DifferentFutureRounds added in v0.2.7

func F1DifferentFutureRounds() tests.SpecTest

F1DifferentFutureRounds tests f+1 speedup with one rc prev prepared

func F1DifferentFutureRoundsNotPrepared added in v0.2.7

func F1DifferentFutureRoundsNotPrepared() tests.SpecTest

F1DifferentFutureRoundsNotPrepared tests f+1 speedup (not prev prepared)

func F1DuplicateSigner added in v0.2.7

func F1DuplicateSigner() tests.SpecTest

F1DuplicateSigner tests not accepting f+1 speed for duplicate signer

func F1DuplicateSignerNotPrepared added in v0.2.7

func F1DuplicateSignerNotPrepared() tests.SpecTest

F1DuplicateSignerNotPrepared tests not accepting f+1 speed for duplicate signer (not prev prepared)

func F1Speedup

func F1Speedup() tests.SpecTest

F1Speedup tests catching up to higher rounds via f+1 speedup, other peers are all at the same round

func F1SpeedupPrevPrepared added in v0.2.7

func F1SpeedupPrevPrepared() tests.SpecTest

F1SpeedupPrevPrepared tests catching up to higher rounds via f+1 speedup, other peers are all at the same round (one prev prepared)

func ForceStop added in v0.3.1

func ForceStop() tests.SpecTest

ForceStop tests processing a round change msg when instance force stopped

func HappyFlow

func HappyFlow() tests.SpecTest

HappyFlow tests a simple full happy flow until decided

func InvalidJustificationFullData added in v0.3.0

func InvalidJustificationFullData() tests.SpecTest

InvalidJustificationFullData tests round change justification for which H(full data) != root

func JustificationDuplicateMsg

func JustificationDuplicateMsg() tests.SpecTest

JustificationDuplicateMsg tests a duplicate justification msg which shouldn't result in a justification quorum

func JustificationInvalidRound

func JustificationInvalidRound() tests.SpecTest

JustificationInvalidRound tests justifications with prepared round > msg round

func JustificationInvalidSig

func JustificationInvalidSig() tests.SpecTest

JustificationInvalidSig tests a single prepare justification msg with wrong signature

func JustificationMultiSigners

func JustificationMultiSigners() tests.SpecTest

JustificationMultiSigners tests a single prepare justification msg with multiple signers

func JustificationNoQuorum

func JustificationNoQuorum() tests.SpecTest

JustificationNoQuorum tests justifications with no quorum

func JustificationPastRound added in v0.3.0

func JustificationPastRound() tests.SpecTest

JustificationPastRound tests a quorum of round change msgs for past round

func JustificationWrongRound

func JustificationWrongRound() tests.SpecTest

JustificationWrongRound tests a single prepare justification with round != prepared round

func MultiSigner

func MultiSigner() tests.SpecTest

MultiSigner tests a round change msg with multiple signers

func NonUniqueSigner added in v0.3.8

func NonUniqueSigner() tests.SpecTest

NonUniqueSigner tests a round change msg with multiple signers and non unique signer

func NotProposer added in v0.2.7

func NotProposer() tests.SpecTest

NotProposer tests a justified round change but node is not the proposer

func PastRound

func PastRound() tests.SpecTest

PastRound tests a round change msg with past round

func PeerPrepared

func PeerPrepared() tests.SpecTest

PeerPrepared tests a round change quorum where a peer is the only one prepared

func PeerPreparedDifferentHeights added in v0.2.2

func PeerPreparedDifferentHeights() tests.SpecTest

PeerPreparedDifferentHeights tests a round change quorum where peers prepared on different heights

func PostCutoff added in v0.3.1

func PostCutoff() tests.SpecTest

PostCutoff tests processing a round change msg when round >= cutoff

func QuorumMsgNotPrepared added in v0.2.7

func QuorumMsgNotPrepared() tests.SpecTest

QuorumMsgNotPrepared tests LIVENESS where the rc msg making a quorum for round change is not prev prepared (other are) which can cause a liveness issue with isReceivedProposalJustification

func QuorumNotPrepared added in v0.2.7

func QuorumNotPrepared() tests.SpecTest

QuorumNotPrepared tests a round change quorum for non-prepared state

func QuorumNotTriggeredTwice added in v0.3.5

func QuorumNotTriggeredTwice() tests.SpecTest

QuorumNotTriggeredTwice tests that the fourth round change message does not trigger a quorum and no proposal is sent

func QuorumNotTriggeredTwiceJustificationIgnored added in v0.3.5

func QuorumNotTriggeredTwiceJustificationIgnored() tests.SpecTest

QuorumNotTriggeredTwiceJustificationIgnored tests that the fourth round change message does not trigger a quorum and no proposal is sent. Also, the justification is ignored.

func QuorumOrder1 added in v0.2.7

func QuorumOrder1() tests.SpecTest

QuorumOrder1 tests LIVENESS where the rc quorum msgs in different order

func QuorumOrder2 added in v0.2.7

func QuorumOrder2() tests.SpecTest

QuorumOrder2 tests LIVENESS where the rc quorum msgs in different order

func QuorumPrepared added in v0.2.7

func QuorumPrepared() tests.SpecTest

QuorumPrepared tests a round change msg for prepared state

func RoundChangePartialQuorum added in v0.3.0

func RoundChangePartialQuorum() tests.SpecTest

RoundChangePartialQuorum tests a round change msgs with partial quorum

func UnknownSigner added in v0.2.7

func UnknownSigner() tests.SpecTest

UnknownSigner tests a signed round change msg with an unknown signer

func ValidJustification added in v0.2.7

func ValidJustification() tests.SpecTest

ValidJustification tests a valid rc quorum justification

func ValidJustificationFullData added in v0.3.0

func ValidJustificationFullData() tests.SpecTest

ValidJustificationFullData tests round change justification for which H(full data) == root

func WrongHeight

func WrongHeight() tests.SpecTest

WrongHeight tests a round change msg with wrong height

func ZeroSigner added in v0.3.8

func ZeroSigner() tests.SpecTest

ZeroSigner tests a signed round change msg with signer 0

Types

This section is empty.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL