tests

package

v0.0.0-...-0a54b8a Latest Latest Go to latest Published: Aug 29, 2023 License: MIT Imports: 9 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

Repository

github.com/netrixframework/tendermint-testing

Links

Open Source Insights

Documentation ¶

Index ¶

func BlockVotesProperty() *sm.StateMachine
func BlockVotesTest(sysParams *common.SystemParams) *testlib.TestCase
func CommitAfterRoundSkipProperty() *sm.StateMachine
func CommitAfterRoundSkipTest(sp *common.SystemParams) *testlib.TestCase
func DifferentDecisionsProperty() *sm.StateMachine
func DifferentDecisionsTest(sysParams *common.SystemParams) *testlib.TestCase
func ExpectUnlockProperty() *sm.StateMachine
func ExpectUnlockTest(sysParams *common.SystemParams) *testlib.TestCase
func ForeverLaggingReplicaProperty() *sm.StateMachine
func ForeverLaggingReplicaTest(sp *common.SystemParams) *testlib.TestCase
func GarbledMessageProperty() *sm.StateMachine
func GarbledMessageTest(sysParams *common.SystemParams) *testlib.TestCase
func HigherRoundProperty() *sm.StateMachine
func HigherRoundTest(sysParams *common.SystemParams) *testlib.TestCase
func LaggingReplicaProperty(rounds int) *sm.StateMachine
func LaggingReplicaTest(sp *common.SystemParams, rounds int, timeout time.Duration) *testlib.TestCase
func LockedCommitProperty() *sm.StateMachine
func LockedCommitTest(sysParams *common.SystemParams) *testlib.TestCase
func NilPrevotesProperty(sysParams *common.SystemParams) *sm.StateMachine
func NilPrevotesTest(sysParams *common.SystemParams) *testlib.TestCase
func NotNilDecideProperty() *sm.StateMachine
func NotNilDecideTest(sp *common.SystemParams) *testlib.TestCase
func PrecommitInvariantProperty() *sm.StateMachine
func PrecommitsInvariantTest() *testlib.TestCase
func ProposalNilPrevoteProperty() *sm.StateMachine
func ProposalNilPrevoteTest(sp *common.SystemParams) *testlib.TestCase
func RelockedProperty() *sm.StateMachine
func RelockedTest(sysParams *common.SystemParams) *testlib.TestCase
func RoundSkipProperty() *sm.StateMachine
func RoundSkipTest(sysParams *common.SystemParams, height, round int) *testlib.TestCase

Constants ¶

This section is empty.

Variables ¶

This section is empty.

Functions ¶

func BlockVotesProperty ¶

func BlockVotesProperty() *sm.StateMachine

func BlockVotesTest ¶

func BlockVotesTest(sysParams *common.SystemParams) *testlib.TestCase

func CommitAfterRoundSkipProperty ¶

func CommitAfterRoundSkipProperty() *sm.StateMachine

func CommitAfterRoundSkipTest ¶

func CommitAfterRoundSkipTest(sp *common.SystemParams) *testlib.TestCase

func DifferentDecisionsProperty ¶

func DifferentDecisionsProperty() *sm.StateMachine

func DifferentDecisionsTest ¶

func DifferentDecisionsTest(sysParams *common.SystemParams) *testlib.TestCase

func ExpectUnlockProperty ¶

func ExpectUnlockProperty() *sm.StateMachine

func ExpectUnlockTest ¶

func ExpectUnlockTest(sysParams *common.SystemParams) *testlib.TestCase

func ForeverLaggingReplicaProperty ¶

func ForeverLaggingReplicaProperty() *sm.StateMachine

func ForeverLaggingReplicaTest ¶

func ForeverLaggingReplicaTest(sp *common.SystemParams) *testlib.TestCase

func GarbledMessageProperty ¶

func GarbledMessageProperty() *sm.StateMachine

func GarbledMessageTest ¶

func GarbledMessageTest(sysParams *common.SystemParams) *testlib.TestCase

func HigherRoundProperty ¶

func HigherRoundProperty() *sm.StateMachine

func HigherRoundTest ¶

func HigherRoundTest(sysParams *common.SystemParams) *testlib.TestCase

func LaggingReplicaProperty ¶

func LaggingReplicaProperty(rounds int) *sm.StateMachine

func LaggingReplicaTest ¶

func LaggingReplicaTest(sp *common.SystemParams, rounds int, timeout time.Duration) *testlib.TestCase

func LockedCommitProperty ¶

func LockedCommitProperty() *sm.StateMachine

func LockedCommitTest ¶

func LockedCommitTest(sysParams *common.SystemParams) *testlib.TestCase

States:

Ensure replicas skip round by not delivering enough precommits 1.1 One replica prevotes and precommits nil
In the next round change the proposal block value
Replicas should prevote and precommit the earlier block and commit

func NilPrevotesProperty ¶

func NilPrevotesProperty(sysParams *common.SystemParams) *sm.StateMachine

func NilPrevotesTest ¶

func NilPrevotesTest(sysParams *common.SystemParams) *testlib.TestCase

func NotNilDecideProperty ¶

func NotNilDecideProperty() *sm.StateMachine

func NotNilDecideTest ¶

func NotNilDecideTest(sp *common.SystemParams) *testlib.TestCase

func PrecommitInvariantProperty ¶

func PrecommitInvariantProperty() *sm.StateMachine

func PrecommitsInvariantTest ¶

func PrecommitsInvariantTest() *testlib.TestCase

func ProposalNilPrevoteProperty ¶

func ProposalNilPrevoteProperty() *sm.StateMachine

func ProposalNilPrevoteTest ¶

func ProposalNilPrevoteTest(sp *common.SystemParams) *testlib.TestCase

func RelockedProperty ¶

func RelockedProperty() *sm.StateMachine

func RelockedTest ¶

func RelockedTest(sysParams *common.SystemParams) *testlib.TestCase

func RoundSkipProperty ¶

func RoundSkipProperty() *sm.StateMachine

func RoundSkipTest ¶

func RoundSkipTest(sysParams *common.SystemParams, height, round int) *testlib.TestCase

Types ¶

This section is empty.

Source Files ¶

View all Source files

Directories ¶

Path	Synopsis
additional

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