Module proptest_state_machine::strategy

Strategies used for abstract state machine testing.

Structs

• Sequential
  In a sequential state machine strategy, we first generate an acceptable sequence of transitions. That is a sequence that satisfies the given pre-conditions. The acceptability of each transition in the sequence depends on the current state of the state machine, which is updated by the transitions with the next function.
• SequentialValueTree
  The generated value tree for a sequential state machine.

Traits

• ReferenceStateMachine
  This trait is used to model system under test as an abstract state machine.