|May 31, 2023
#849 in Testing
31,034 downloads per month
Used in fennec-vfs
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.
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.