case class PropertyCheckConfig(minSuccessful: Int = 10, maxDiscarded: Int = 500, minSize: Int = 0, maxSize: Int = 100, workers: Int = 1) extends PropertyCheckConfigurable with Product with Serializable
Configuration object for property checks.
The default values for the parameters are:
| minSuccessful | 100 |
| maxDiscarded | 500 |
| minSize | 0 |
| maxSize | 100 |
| workers | 1 |
- minSuccessful
the minimum number of successful property evaluations required for the property to pass.
- maxDiscarded
the maximum number of discarded property evaluations allowed during a property check
- 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).
- maxSize
the maximum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists).
- workers
specifies the number of worker threads to use during property evaluation
- Annotations
- @deprecated
- Deprecated
Use PropertyCheckConfiguration instead
- Source
- Configuration.scala
- Exceptions thrown
IllegalArgumentExceptionif the specifiedminSuccessfulvalue 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.
- Alphabetic
- By Inheritance
- PropertyCheckConfig
- Serializable
- Serializable
- Product
- Equals
- PropertyCheckConfigurable
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
-
new
PropertyCheckConfig(minSuccessful: Int = 10, maxDiscarded: Int = 500, minSize: Int = 0, maxSize: Int = 100, workers: Int = 1)
- minSuccessful
the minimum number of successful property evaluations required for the property to pass.
- maxDiscarded
the maximum number of discarded property evaluations allowed during a property check
- 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).
- maxSize
the maximum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists).
- workers
specifies the number of worker threads to use during property evaluation
- Exceptions thrown
IllegalArgumentExceptionif the specifiedminSuccessfulvalue 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.