DocTest QuickCheck Test Case Control Number
Is it possible to control the number of cases QuickCheck generates when running doctest?
For example, you can do this when running QuickCheck from your Heckell code ( see here for details ) using the maxSuccess parameter.
How do you do this when you run doctest from the command line?
+3
source to share
No one has answered this question yet
See similar questions:
or similar: