Documentation ¶
Index ¶
- func EmptyValue() tests.SpecTest
- func EqualHeightNoRunningInstance() tests.SpecTest
- func EqualHeightRunningInstance() tests.SpecTest
- func FirstHeight() tests.SpecTest
- func InvalidValue() tests.SpecTest
- func LowerHeight() tests.SpecTest
- func NilValue() tests.SpecTest
- func PostFutureDecided() tests.SpecTest
- func PreviousDecided() tests.SpecTest
- func PreviousNotDecided() tests.SpecTest
- func Valid() tests.SpecTest
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func EmptyValue ¶ added in v0.3.0
EmptyValue tests a starting an instance for an empty value (not passing value check)
func EqualHeightNoRunningInstance ¶ added in v0.3.1
EqualHeightNoRunningInstance tests starting an instance for height equal to current without a running instance
func EqualHeightRunningInstance ¶ added in v0.3.1
EqualHeightRunningInstance tests starting an instance for height equal to a running instance
func FirstHeight ¶
FirstHeight tests a starting the first instance
func InvalidValue ¶
InvalidValue tests a starting an instance for an invalid value (not passing value check)
func LowerHeight ¶ added in v0.3.1
LowerHeight tests starting an instance a height lower than previous height
func NilValue ¶ added in v0.3.0
NilValue tests a starting an instance for a nil value (not passing value check)
func PostFutureDecided ¶
PostFutureDecided tests starting a new instance after deciding with future decided msg
func PreviousDecided ¶
PreviousDecided tests starting an instance when the previous one decided
func PreviousNotDecided ¶
PreviousNotDecided tests starting an instance when the previous one not decided
Types ¶
This section is empty.