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
Martin Capodici
source
to share
No one has answered this question yet
See similar questions:
25
or similar:
550
546
534
326
17
ten
nine
1
1
0