A PropertyCheckConfigParam
that specifies the maximum number of discarded
property evaluations allowed during property evaluation.
A PropertyCheckConfigParam
that specifies the maximum size parameter to
provide to ScalaCheck, which it will use when generating objects for which size matters (such as
strings or lists).
A PropertyCheckConfigParam
that specifies the minimum size parameter to
provide to ScalaCheck, which it will use when generating objects for which size matters (such as
strings or lists).
A PropertyCheckConfigParam
that specifies the minimum number of successful
property evaluations required for the property to pass.
Configuration object for property checks.
Abstract class defining a family of configuration parameters for property checks.
A PropertyCheckConfigParam
that specifies the number of worker threads
to use when evaluating a property.
Check a property.
Check a property with the given testing parameters.
Check a property with the given testing parameters.
the property to check
the test parameters
Convert the passed 6-arg function into a property, and check it.
Convert the passed 6-arg function into a property, and check it.
the function to be converted into a property and checked
Convert the passed 5-arg function into a property, and check it.
Convert the passed 5-arg function into a property, and check it.
the function to be converted into a property and checked
Convert the passed 4-arg function into a property, and check it.
Convert the passed 4-arg function into a property, and check it.
the function to be converted into a property and checked
Convert the passed 3-arg function into a property, and check it.
Convert the passed 3-arg function into a property, and check it.
the function to be converted into a property and checked
Convert the passed 2-arg function into a property, and check it.
Convert the passed 2-arg function into a property, and check it.
the function to be converted into a property and checked
Convert the passed 1-arg function into a property, and check it.
Convert the passed 1-arg function into a property, and check it.
the function to be converted into a property and checked
Implicit PropertyCheckConfig
value providing default configuration values.
Implicit PropertyCheckConfig
value providing default configuration values.
Returns a MaxDiscarded
property check configuration parameter containing the passed value, which specifies the maximum number of discarded
property evaluations allowed during property evaluation.
Returns a MaxDiscarded
property check configuration parameter containing the passed value, which specifies the maximum number of discarded
property evaluations allowed during property evaluation.
Returns a MaxSize
property check configuration parameter containing the passed value, which specifies the maximum size parameter to
provide to ScalaCheck, which it will use when generating objects for which size matters (such as
strings or lists).
Returns a MaxSize
property check configuration parameter containing the passed value, which specifies the maximum size parameter to
provide to ScalaCheck, which it will use when generating objects for which size matters (such as
strings or lists).
Note that the maximum size should be greater than or equal to the minimum size. This requirement is
enforced by the PropertyCheckConfig
constructor and the forAll
methods of
traits PropertyChecks
and Checkers
. In other words, it is enforced at the point
both a maximum and minimum size are provided together.
Returns a MinSize
property check configuration parameter containing the passed value, which specifies the minimum size parameter to
provide to ScalaCheck, which it will use when generating objects for which size matters (such as
strings or lists).
Returns a MinSize
property check configuration parameter containing the passed value, which specifies the minimum size parameter to
provide to ScalaCheck, which it will use when generating objects for which size matters (such as
strings or lists).
Returns a MinSuccessful
property check configuration parameter containing the passed value, which specifies the minimum number of successful
property evaluations required for the property to pass.
Returns a MinSuccessful
property check configuration parameter containing the passed value, which specifies the minimum number of successful
property evaluations required for the property to pass.
Returns a Workers
property check configuration parameter containing the passed value, which specifies the number of worker threads
to use when evaluating a property.
Returns a Workers
property check configuration parameter containing the passed value, which specifies the number of worker threads
to use when evaluating a property.
Companion object that facilitates the importing of
Checkers
members as an alternative to mixing it in. One use case is to importCheckers
members so you can use them in the Scala interpreter.