[darcs-devel] [patch1979] better shrinking for patches
Ben Franksen
bugs at darcs.net
Tue Feb 25 01:42:13 UTC 2020
Ben Franksen <ben.franksen at online.de> added the comment:
> Note it's only a clear improvement if dropping one element doesn't help
> but dropping two does.
>
> It could also slow down shrinking substantially if most shrinks don't
> work (i.e. the test succeeds after shrinking). The instance for normal
> lists tries dividing the list in 2, 4, 8 etc as well as removing each
> individual element:
>
> https://hackage.haskell.org/package/QuickCheck-2.13.2/docs/src/Test.QuickCheck.Arbitrary.html#shrinkList
Fascinating. Professional shrinking seems to be a black art. I'll
refrain from further comments.
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1979>
__________________________________
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pEpkey.asc
Type: application/pgp-keys
Size: 4211 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-devel/attachments/20200225/7b102914/attachment-0001.key>
More information about the darcs-devel
mailing list