4 releases (2 breaking)

new 0.3.1 Dec 16, 2024
0.3.0 Mar 22, 2024
0.2.0 Mar 10, 2024
0.1.0 May 31, 2023

#468 in Testing

Download history 9749/week @ 2024-08-29 10508/week @ 2024-09-05 6412/week @ 2024-09-12 8335/week @ 2024-09-19 9876/week @ 2024-09-26 13642/week @ 2024-10-03 12433/week @ 2024-10-10 13619/week @ 2024-10-17 7331/week @ 2024-10-24 6870/week @ 2024-10-31 5862/week @ 2024-11-07 5128/week @ 2024-11-14 5342/week @ 2024-11-21 5111/week @ 2024-11-28 6452/week @ 2024-12-05 4868/week @ 2024-12-12

22,810 downloads per month
Used in 4 crates

MIT/Apache

1MB
16K 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.6–2.4MB
~43K SLoC