Generators can be interpreted as the sets of values they generate, and
"integrated shrinking" makes shrinking produce values that belong to the
same set, by deriving it from the generator. In contrast, in QuickCheck,
generators and shrinkers are separate, so if a property we want to test
has some precondition, we need to remember to make both the generator
and the shrinker satisfy these preconditions.
Li-yao
On 06/14/2018 04:24 PM, Petr Pudlák wrote:
> Hi everyone,
>
> I found the above interesting sentence in Hedgehog's [1] documentation.
> What does this mean? Is construction there somewhat tied to shrinking,
> perhaps something like going in the reverse direction?
>
> Thanks,
> Petr
>
> [1] https://github.com/hedgehogqa/haskell-hedgehog#features
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
>
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.