the minimum number of successful property evaluations required for the property to pass.
the maximum number of discarded property evaluations allowed during a property check
the minimum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists).
the maximum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists).
specifies the number of worker threads to use during property evaluation
if the specified minSuccessful value is less than or equal to zero,
the specified maxDiscarded value is less than zero,
the specified minSize value is less than zero,
the specified maxSize value is less than zero,
the specified minSize is greater than the specified or default value of maxSize, or
the specified workers value is less than or equal to zero.
the maximum number of discarded property evaluations allowed during a property check
the maximum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists).
the minimum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists).
the minimum number of successful property evaluations required for the property to pass.
specifies the number of worker threads to use during property evaluation
Configuration object for property checks.
The default values for the parameters are:
the minimum number of successful property evaluations required for the property to pass.
the maximum number of discarded property evaluations allowed during a property check
the minimum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists).
the maximum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists).
specifies the number of worker threads to use during property evaluation
if the specified
minSuccessfulvalue is less than or equal to zero, the specifiedmaxDiscardedvalue is less than zero, the specifiedminSizevalue is less than zero, the specifiedmaxSizevalue is less than zero, the specifiedminSizeis greater than the specified or default value ofmaxSize, or the specifiedworkersvalue is less than or equal to zero.