state-machine: don't limit number of transitions that can be deleted in shrinking - Githubissues

proptest-rs / proptest

Hypothesis-like property testing for Rust

Apache License 2.0

1.63k stars 152 forks source link

state-machine: don't limit number of transitions that can be deleted in shrinking #392

Closed tzemanovic closed 7 months ago

tzemanovic commented 8 months ago

fixes #387 (tbc)
based on https://github.com/proptest-rs/proptest/pull/389 that fixes ci