Parameter
The parameters that define how a property evaluation should be executed.
You typically will not build this directly. Instead, you should define a PropertyCheckConfiguration and/or some PropertyCheckConfigParams, pass those in, and the system will resolve those to a coherent Parameter.
- Value parameters:
- maxDiscardedFactor
how many generated values may be discarded, as a multiple of the successful attempts, before the property check is considered to be org.scalatest.prop.PropertyCheckResult.Exhausted; see MaxDiscardedFactor
- minSize
the minimum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists); see MinSize
- minSuccessful
the minimum number of successful property evaluations required for the property to pass; see MinSuccessful
- sizeRange
the maximum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists); see SizeRange
- workers
number of worker threads to use when evaluating a property; see Workers