That's interesting! Could you please elaborate how this is implemented?
Thanks, Petr
Dne čt 14. 6. 2018 23:12 uživatel Li-yao Xia
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.