Documentation ¶
Index ¶
- func AfterProposal() *tests.MsgProcessingSpecTest
- func DuplicateMsg() *tests.MsgProcessingSpecTest
- func DuplicateMsgQuorum() *tests.MsgProcessingSpecTest
- func DuplicateMsgQuorumPreparedRCFirst() *tests.MsgProcessingSpecTest
- func F1DifferentFutureRounds() *tests.MsgProcessingSpecTest
- func F1DifferentFutureRoundsNotPrepared() *tests.MsgProcessingSpecTest
- func F1DuplicateSigner() *tests.MsgProcessingSpecTest
- func F1DuplicateSignerNotPrepared() *tests.MsgProcessingSpecTest
- func F1Speedup() *tests.MsgProcessingSpecTest
- func F1SpeedupPrevPrepared() *tests.MsgProcessingSpecTest
- func HappyFlow() *tests.MsgProcessingSpecTest
- func ImparsableRoundChangeData() *tests.MsgProcessingSpecTest
- func InvalidRoundChangeData() *tests.MsgProcessingSpecTest
- func JustificationDuplicateMsg() *tests.MsgProcessingSpecTest
- func JustificationInvalidPrepareData() *tests.MsgProcessingSpecTest
- func JustificationInvalidRound() *tests.MsgProcessingSpecTest
- func JustificationInvalidSig() *tests.MsgProcessingSpecTest
- func JustificationMultiSigners() *tests.MsgProcessingSpecTest
- func JustificationNoQuorum() *tests.MsgProcessingSpecTest
- func JustificationWrongRound() *tests.MsgProcessingSpecTest
- func JustificationWrongValue() *tests.MsgProcessingSpecTest
- func MultiSigner() *tests.MsgProcessingSpecTest
- func NotProposer() *tests.MsgProcessingSpecTest
- func PastRound() *tests.MsgProcessingSpecTest
- func PeerPrepared() *tests.MsgProcessingSpecTest
- func PeerPreparedDifferentHeights() *tests.MsgProcessingSpecTest
- func QuorumMsgNotPrepared() *tests.MsgProcessingSpecTest
- func QuorumNotPrepared() *tests.MsgProcessingSpecTest
- func QuorumOrder1() *tests.MsgProcessingSpecTest
- func QuorumOrder2() *tests.MsgProcessingSpecTest
- func QuorumPrepared() *tests.MsgProcessingSpecTest
- func UnknownSigner() *tests.MsgProcessingSpecTest
- func ValidJustification() *tests.MsgProcessingSpecTest
- func WrongHeight() *tests.MsgProcessingSpecTest
- func WrongSig() *tests.MsgProcessingSpecTest
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func AfterProposal ¶ added in v0.2.7
func AfterProposal() *tests.MsgProcessingSpecTest
AfterProposal tests a round change msg after prev quorum + received proposal
func DuplicateMsg ¶ added in v0.2.7
func DuplicateMsg() *tests.MsgProcessingSpecTest
DuplicateMsg tests a duplicate rc msg (first one inserted, second not)
func DuplicateMsgQuorum ¶
func DuplicateMsgQuorum() *tests.MsgProcessingSpecTest
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.MsgProcessingSpecTest
DuplicateMsgQuorumPreparedRCFirst tests a duplicate rc msg (the prev prepared one first)
func F1DifferentFutureRounds ¶ added in v0.2.7
func F1DifferentFutureRounds() *tests.MsgProcessingSpecTest
F1DifferentFutureRounds tests f+1 speedup with one rc prev prepared
func F1DifferentFutureRoundsNotPrepared ¶ added in v0.2.7
func F1DifferentFutureRoundsNotPrepared() *tests.MsgProcessingSpecTest
F1DifferentFutureRoundsNotPrepared tests f+1 speedup (not prev prepared)
func F1DuplicateSigner ¶ added in v0.2.7
func F1DuplicateSigner() *tests.MsgProcessingSpecTest
F1DuplicateSigner tests not accepting f+1 speed for duplicate signer
func F1DuplicateSignerNotPrepared ¶ added in v0.2.7
func F1DuplicateSignerNotPrepared() *tests.MsgProcessingSpecTest
F1DuplicateSignerNotPrepared tests not accepting f+1 speed for duplicate signer (not prev prepared)
func F1Speedup ¶
func F1Speedup() *tests.MsgProcessingSpecTest
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.MsgProcessingSpecTest
F1SpeedupPrevPrepared tests catching up to higher rounds via f+1 speedup, other peers are all at the same round (one prev prepared)
func HappyFlow ¶
func HappyFlow() *tests.MsgProcessingSpecTest
HappyFlow tests a simple full happy flow until decided
func ImparsableRoundChangeData ¶
func ImparsableRoundChangeData() *tests.MsgProcessingSpecTest
ImparsableRoundChangeData tests a round change msg data imparsable to round change data struct
func InvalidRoundChangeData ¶
func InvalidRoundChangeData() *tests.MsgProcessingSpecTest
InvalidRoundChangeData tests a round change msg data for which Validate() != nil
func JustificationDuplicateMsg ¶
func JustificationDuplicateMsg() *tests.MsgProcessingSpecTest
JustificationDuplicateMsg tests a duplicate justification msg which shouldn't result in a justification quorum
func JustificationInvalidPrepareData ¶
func JustificationInvalidPrepareData() *tests.MsgProcessingSpecTest
JustificationInvalidPrepareData tests a single prepare justification msg for which .validate() != nil
func JustificationInvalidRound ¶
func JustificationInvalidRound() *tests.MsgProcessingSpecTest
JustificationInvalidRound tests justifications with prepared round > msg round
func JustificationInvalidSig ¶
func JustificationInvalidSig() *tests.MsgProcessingSpecTest
JustificationInvalidSig tests a single prepare justification msg with wrong signature
func JustificationMultiSigners ¶
func JustificationMultiSigners() *tests.MsgProcessingSpecTest
JustificationMultiSigners tests a single prepare justification msg with multiple signers
func JustificationNoQuorum ¶
func JustificationNoQuorum() *tests.MsgProcessingSpecTest
JustificationNoQuorum tests justifications with no quorum
func JustificationWrongRound ¶
func JustificationWrongRound() *tests.MsgProcessingSpecTest
JustificationWrongRound tests a single prepare justification with round != prepared round
func JustificationWrongValue ¶
func JustificationWrongValue() *tests.MsgProcessingSpecTest
JustificationWrongValue tests a single prepare justification with value != prepared value
func MultiSigner ¶
func MultiSigner() *tests.MsgProcessingSpecTest
MultiSigner tests a round change msg with multiple signers
func NotProposer ¶ added in v0.2.7
func NotProposer() *tests.MsgProcessingSpecTest
NotProposer tests a justified round change but node is not the proposer
func PastRound ¶
func PastRound() *tests.MsgProcessingSpecTest
PastRound tests a round change msg with past round
func PeerPrepared ¶
func PeerPrepared() *tests.MsgProcessingSpecTest
PeerPrepared tests a round change quorum where a peer is the only one prepared
func PeerPreparedDifferentHeights ¶ added in v0.2.2
func PeerPreparedDifferentHeights() *tests.MsgProcessingSpecTest
PeerPreparedDifferentHeights tests a round change quorum where peers prepared on different heights
func QuorumMsgNotPrepared ¶ added in v0.2.7
func QuorumMsgNotPrepared() *tests.MsgProcessingSpecTest
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.MsgProcessingSpecTest
QuorumNotPrepared tests a round change quorum for non-prepared state
func QuorumOrder1 ¶ added in v0.2.7
func QuorumOrder1() *tests.MsgProcessingSpecTest
QuorumOrder1 tests LIVENESS where the rc quorum msgs in different order
func QuorumOrder2 ¶ added in v0.2.7
func QuorumOrder2() *tests.MsgProcessingSpecTest
QuorumOrder2 tests LIVENESS where the rc quorum msgs in different order
func QuorumPrepared ¶ added in v0.2.7
func QuorumPrepared() *tests.MsgProcessingSpecTest
QuorumPrepared tests a round change msg for prepared state
func UnknownSigner ¶ added in v0.2.7
func UnknownSigner() *tests.MsgProcessingSpecTest
UnknownSigner tests a signed round change msg with an unknown signer
func ValidJustification ¶ added in v0.2.7
func ValidJustification() *tests.MsgProcessingSpecTest
ValidJustification tests a valid rc quorum justification
func WrongHeight ¶
func WrongHeight() *tests.MsgProcessingSpecTest
WrongHeight tests a round change msg with wrong height
func WrongSig ¶
func WrongSig() *tests.MsgProcessingSpecTest
WrongSig tests a signed round change msg with wrong signature
Types ¶
This section is empty.
Source Files ¶
- duplicate_msg.go
- duplicate_msg_quorum.go
- duplicate_msg_quorum_prepared_rc_first.go
- f1_different_future_rounds.go
- f1_different_future_rounds_not_prepared.go
- f1_duplicate_signer.go
- f1_duplicate_signer_not_prepared.go
- f1_speedup.go
- f1_speedup_prepared.go
- happy_flow.go
- imparsable_round_change_data.go
- invalid_round_change_data.go
- justification_duplicate_msg.go
- justification_invalid_prepare_data.go
- justification_invalid_round.go
- justification_invalid_sig.go
- justification_multi_signers.go
- justification_no_quorum.go
- justification_wrong_round.go
- justification_wrong_value.go
- multi_signer.go
- not_proposer.go
- past_round.go
- peer_prepared.go
- peer_prepared_different_heights.go
- quorum_msg_not_prepared.go
- quorum_not_prepared.go
- quorum_order1.go
- quorum_order2.go
- quorum_prepared.go
- rc_after_proposal.go
- unknown_signer.go
- valid_justification.go
- wrong_height.go
- wrong_sig.go