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