Lib.rs

› Development tools › Testing › Proptest
#property-testing #quickcheck-testing #state-machine #fuzzing #quickcheck #fuzz

no-std dev proptest-state-machine

State machine based testing support for proptest

by Rex, Matthew Russo, proptest-rs

4 releases (2 breaking)

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

#324 in Testing

Download history 5955/week @ 2024-12-11 5174/week @ 2024-12-18 2607/week @ 2024-12-25 5291/week @ 2025-01-01 7673/week @ 2025-01-08 5697/week @ 2025-01-15 7655/week @ 2025-01-22 23396/week @ 2025-01-29 25299/week @ 2025-02-05 23892/week @ 2025-02-12 23246/week @ 2025-02-19 30061/week @ 2025-02-26 33105/week @ 2025-03-05 35899/week @ 2025-03-12 36184/week @ 2025-03-19 27971/week @ 2025-03-26

139,769 downloads per month
Used in 7 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.

Dependencies

~2MB
~28K SLoC