v0.32.3
·
25 commits
to main
since this release
Immutable
release. Only release title and notes can be modified.
This patch fixes the replay of stateful counterexamples that need more than 50 steps (#396). Previously, the replay of the shrunk counterexample stopped at 50 steps and incorrectly triggered a flaky test error.
libhegel C ABI
This patch fixes hegel_test_case_from_blob ignoring the stateful_step_count setting (#396). A stateful counterexample that needed more than 50 steps did not reproduce.