jeudi 9 avril 2015

Pass Args to generate

Does QuickCheck have a way to pass an Args object (or at least specify the seed) to the generate (:: Gen a -> IO a) function (or something equivalent)? I see that it has quickCheckWith which takes an Args, but it can only return a Result. There doesn't seem to be a generateWith function.





Aucun commentaire:

Enregistrer un commentaire