search

proptest-rs / proptest

Hypothesis-like property testing for Rust
Apache License 2.0
1.69k stars 158 forks source link

state-machine prerequisites #324

Closed tzemanovic closed 1 year ago

tzemanovic commented 1 year ago

There are proptest crate-only changes separated from #310 that are needed for the new proptest-state-machine crate