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
minSuccessful
value is less than or equal to zero, the specifiedmaxDiscarded
value is less than zero, the specifiedminSize
value is less than zero, the specifiedmaxSize
value is less than zero, the specifiedminSize
is greater than the specified or default value ofmaxSize
, or the specifiedworkers
value is less than or equal to zero.