Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security Policy
  
  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

commands

package

Go to main page

Versions in this module

v0

v0.2.2

Aug 6, 2018

v0.2.1

Mar 16, 2018

v0.2.0

Dec 10, 2017

Changes in this version

+ func Prop(commands Commands) gopter.Prop

+ type Command interface

+ NextState func(state State) State

+ PostCondition func(state State, result Result) *gopter.PropResult

+ PreCondition func(state State) bool

+ Run func(systemUnderTest SystemUnderTest) Result

+ String func() string

+ type Commands interface

+ DestroySystemUnderTest func(SystemUnderTest)

+ GenCommand func(state State) gopter.Gen

+ GenInitialState func() gopter.Gen

+ InitialPreCondition func(state State) bool

+ NewSystemUnderTest func(initialState State) SystemUnderTest

+ type ProtoCommand struct

+ Name string

+ NextStateFunc func(state State) State

+ PostConditionFunc func(state State, result Result) *gopter.PropResult

+ PreConditionFunc func(state State) bool

+ RunFunc func(systemUnderTest SystemUnderTest) Result

+ func (p *ProtoCommand) NextState(state State) State

+ func (p *ProtoCommand) PostCondition(state State, result Result) *gopter.PropResult

+ func (p *ProtoCommand) PreCondition(state State) bool

+ func (p *ProtoCommand) Run(systemUnderTest SystemUnderTest) Result

+ func (p *ProtoCommand) String() string

+ type ProtoCommands struct

+ DestroySystemUnderTestFunc func(SystemUnderTest)

+ GenCommandFunc func(State) gopter.Gen

+ InitialPreConditionFunc func(State) bool

+ InitialStateGen gopter.Gen

+ NewSystemUnderTestFunc func(initialState State) SystemUnderTest

+ func (p *ProtoCommands) DestroySystemUnderTest(systemUnderTest SystemUnderTest)

+ func (p *ProtoCommands) GenCommand(state State) gopter.Gen

+ func (p *ProtoCommands) GenInitialState() gopter.Gen

+ func (p *ProtoCommands) InitialPreCondition(state State) bool

+ func (p *ProtoCommands) NewSystemUnderTest(initialState State) SystemUnderTest

+ type Result interface

+ type State interface

+ type SystemUnderTest interface