changelog: add #392

proptest-rs · Nov 5, 2023 · 28ec419 · 28ec419
1 parent 1a71c7a
commit 28ec419
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/proptest-state-machine/CHANGELOG.md b/proptest-state-machine/CHANGELOG.md
@@ -2,4 +2,5 @@
 
 ### Bug Fixes
 
+- Removed the limit of number of transitions that can be deleted in shrinking that depended on the number the of transitions given to `prop_state_machine!` or `ReferenceStateMachine::sequential_strategy`.
 - Fixed logging of state machine transitions to be enabled when verbose config is >= 1. The "std" feature is added to proptest-state-machine as a default feature that allows to switch the logging off in non-std env.