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.

proptest-state-machine

The state machine testing support provides a strategy and convenience runner macro for a sequential state machine. To learn more, please consult state machine page in the Proptest book.