3 releases (breaking)

0.3.0 Mar 22, 2024
0.2.0 Mar 10, 2024
0.1.0 May 31, 2023

#264 in Testing

Download history 9977/week @ 2024-01-18 8856/week @ 2024-01-25 4470/week @ 2024-02-01 6721/week @ 2024-02-08 8231/week @ 2024-02-15 8807/week @ 2024-02-22 8254/week @ 2024-02-29 9699/week @ 2024-03-07 10482/week @ 2024-03-14 10473/week @ 2024-03-21 6825/week @ 2024-03-28 10923/week @ 2024-04-04 10115/week @ 2024-04-11 17797/week @ 2024-04-18 20294/week @ 2024-04-25 14786/week @ 2024-05-02

65,271 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
~25K SLoC