From 28ec419155cce87bfe2a4df033afefacd0b87fe2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Zemanovi=C4=8D?= Date: Sun, 5 Nov 2023 15:12:17 +0100 Subject: [PATCH] changelog: add #392 --- proptest-state-machine/CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/proptest-state-machine/CHANGELOG.md b/proptest-state-machine/CHANGELOG.md index c8cbb4ff..27dadfbe 100644 --- 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.