Immutable
release. Only release title and notes can be modified.
This patch improves shrinking for collections whose elements each cost
more than eight choices to generate. Previously such an element could
only be deleted a few choices at a time, so shrunk counterexamples kept
collection elements with no effect on the failure.
libhegel C ABI
This patch adds a new shrink pass that is able to delete regions of the test case where it would previously have got stuck.
You should see improvements in cases where there were previously redundant elements that were "obviously" deletable but that the shrinker was for some reason struggling with.