Documentation ¶
Index ¶
- Variables
- func ChangeVoteToNil() testlib.Action
- func ChangeVoteToProposalMessage(proposalMessageLabel string) testlib.Action
- func DiffCommits() testlib.Condition
- func GetCommitBlockID(ctx *testlib.Context) (string, bool)
- func GetCurRound(ctx *testlib.Context) (int, bool)
- func GetRandomReplica(_ *types.Event, c *testlib.Context) (types.ReplicaID, bool)
- func HeightReached(h int) testlib.Condition
- func IsCommit() testlib.Condition
- func IsCommitForProposal(prop string) testlib.Condition
- func IsConsensusMessage() testlib.Condition
- func IsEventNewRound(r int) testlib.Condition
- func IsFromHeight(height int) testlib.Condition
- func IsMessageFromCurRound() testlib.Condition
- func IsMessageFromPart(partS string) testlib.Condition
- func IsMessageFromRound(round int) testlib.Condition
- func IsMessageToPart(partS string) testlib.Condition
- func IsMessageType(t util.MessageType) testlib.Condition
- func IsNewHeightRound(h int, r int) testlib.Condition
- func IsNewHeightRoundFromPart(p string, h, r int) testlib.Condition
- func IsNilCommit() testlib.Condition
- func IsNilVote() testlib.Condition
- func IsNotNilVote() testlib.Condition
- func IsProposalEq(proposalLabel string) testlib.Condition
- func IsVoteForProposal(proposalLabel string) testlib.Condition
- func IsVoteFromFaulty() testlib.Condition
- func IsVoteFromPart(partS string) testlib.Condition
- func MessageCurRoundGt(m int) testlib.Condition
- func RandomReplicaFromPart(partS string) testlib.ReplicaFunc
- func RecordProposal(key string) testlib.Action
- func RoundReached(r int) testlib.Condition
- func Setup(sysParams *SystemParams, options ...SetupOption) func(*testlib.Context) error
- func TrackRoundAll(e *types.Event, c *testlib.Context) (messages []*types.Message, handled bool)
- func TrackRoundTwoThirds(e *types.Event, c *testlib.Context) (messages []*types.Message, handled bool)
- func TwoFMinus1() func(*types.Event, *testlib.Context) (int, bool)
- type SetupOption
- type SystemParams
Constants ¶
This section is empty.
Variables ¶
View Source
var (
DefaultOptions = []SetupOption{partition}
)
Functions ¶
func ChangeVoteToNil ¶
func DiffCommits ¶
func GetRandomReplica ¶
func HeightReached ¶
func IsCommitForProposal ¶
func IsConsensusMessage ¶
func IsEventNewRound ¶
func IsFromHeight ¶
func IsMessageFromCurRound ¶
func IsMessageFromPart ¶
func IsMessageFromRound ¶
func IsMessageToPart ¶
func IsMessageType ¶
func IsMessageType(t util.MessageType) testlib.Condition
func IsNilCommit ¶
func IsNotNilVote ¶
func IsProposalEq ¶
func IsVoteForProposal ¶
func IsVoteFromFaulty ¶
func IsVoteFromPart ¶
func MessageCurRoundGt ¶
func RandomReplicaFromPart ¶
func RandomReplicaFromPart(partS string) testlib.ReplicaFunc
func RecordProposal ¶
func RoundReached ¶
RoundReached returns true if all replicas have reached the specified round Should be used with TrackRound handler!
func Setup ¶
func Setup(sysParams *SystemParams, options ...SetupOption) func(*testlib.Context) error
func TrackRoundAll ¶
func TrackRoundTwoThirds ¶
Types ¶
type SetupOption ¶
func PickRandomReplica ¶
func PickRandomReplica() SetupOption
type SystemParams ¶
func NewSystemParams ¶
func NewSystemParams(n int) *SystemParams
Click to show internal directories.
Click to hide internal directories.