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





All Articles