Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

tests

package

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

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

github.com/netrixframework/bftsmart-testing

Links

Open Source Insights

Documentation ¶

Index ¶

func ByzantineLeaderChange() *testlib.TestCase
func ByzantineLeaderChangeProperty() *sm.StateMachine
func DelayProposeForP() *testlib.TestCase
func DelayProposeForPProperty() *sm.StateMachine
func DelayProposeSameEpoch() *testlib.TestCase
func DelayProposeSameEpochProperty() *sm.StateMachine
func DropWrite() *testlib.TestCase
func DropWriteForP() *testlib.TestCase
func DropWriteForPProperty() *sm.StateMachine
func DropWriteProperty() *sm.StateMachine
func ExpectNewEpoch() *testlib.TestCase
func ExpectNewEpochProperty() *sm.StateMachine
func ExpectStop() *testlib.TestCase
func ExpectStopProperty() *sm.StateMachine
func PrevEpochProposal() *testlib.TestCase
func PrevEpochProposalProperty() *sm.StateMachine
func RecordProposal(as string) testlib.Action

Constants ¶

This section is empty.

Variables ¶

This section is empty.

Functions ¶

func ByzantineLeaderChange ¶

func ByzantineLeaderChange() *testlib.TestCase

func ByzantineLeaderChangeProperty ¶

func ByzantineLeaderChangeProperty() *sm.StateMachine

func DelayProposeForP ¶

func DelayProposeForP() *testlib.TestCase

func DelayProposeForPProperty ¶

func DelayProposeForPProperty() *sm.StateMachine

func DelayProposeSameEpoch ¶

func DelayProposeSameEpoch() *testlib.TestCase

func DelayProposeSameEpochProperty ¶

func DelayProposeSameEpochProperty() *sm.StateMachine

func DropWrite ¶

func DropWrite() *testlib.TestCase

func DropWriteForP ¶

func DropWriteForP() *testlib.TestCase

func DropWriteForPProperty ¶

func DropWriteForPProperty() *sm.StateMachine

func DropWriteProperty ¶

func DropWriteProperty() *sm.StateMachine

func ExpectNewEpoch ¶

func ExpectNewEpoch() *testlib.TestCase

func ExpectNewEpochProperty ¶

func ExpectNewEpochProperty() *sm.StateMachine

func ExpectStop ¶

func ExpectStop() *testlib.TestCase

func ExpectStopProperty ¶

func ExpectStopProperty() *sm.StateMachine

func PrevEpochProposal ¶

func PrevEpochProposal() *testlib.TestCase

func PrevEpochProposalProperty ¶

func PrevEpochProposalProperty() *sm.StateMachine

func RecordProposal ¶

func RecordProposal(as string) testlib.Action

Types ¶

This section is empty.

Source Files ¶

View all Source files