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

Merged

tzemanovic merged 3 commits intoproptest-rs:masterfrom tzemanovic:tomas/sm-transition-delete

Nov 22, 2023

+21-28

Commits on Nov 5, 2023

Commits on Nov 22, 2023

Merge branch 'master' into tomas/sm-transition-delete
tzemanovic
authored