1 unstable release

0.1.0 May 31, 2023

#849 in Testing

Download history 5296/week @ 2023-11-07 9021/week @ 2023-11-14 7109/week @ 2023-11-21 8326/week @ 2023-11-28 7753/week @ 2023-12-05 8753/week @ 2023-12-12 4239/week @ 2023-12-19 2129/week @ 2023-12-26 7388/week @ 2024-01-02 7529/week @ 2024-01-09 9413/week @ 2024-01-16 9718/week @ 2024-01-23 7202/week @ 2024-01-30 5774/week @ 2024-02-06 8597/week @ 2024-02-13 7549/week @ 2024-02-20

31,034 downloads per month
Used in fennec-vfs

MIT/Apache

1MB
15K SLoC

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.


lib.rs:

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.

Dependencies

~1.5MB
~26K SLoC