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.