Crate proptest_state_machine

Strategies and test runners for Proptest State Machine tests.

Please refer to the Proptest Book chapter “State Machine testing” to learn when and how to use this and how it’s made.

Re-exports

• pub use strategy::*;
• pub use test_runner::*;

Modules

• strategy
  Strategies used for abstract state machine testing.
• test_runner
  Test declaration helpers and runners for abstract state machine testing.

Macros

• prop_state_machine
  This macro helps to turn a state machine test implementation into a runnable test. The macro expects a function header whose arguments follow a special syntax rules: First, we declare if we want to apply the state machine transitions sequentially or concurrently (currently, only the sequential is supported). Next, we give a range of how many transitions to generate, followed by => and finally, an identifier that must implement StateMachineTest.