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.
the property to check
if a test case is discovered for which the property doesn't hold.
Check a property with the given testing parameters.
Check a property with the given testing parameters.
the property to check
the test parameters
if a test case is discovered for which the property doesn't hold.
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
if a test case is discovered for which the property doesn't hold.
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
if a test case is discovered for which the property doesn't hold.
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
if a test case is discovered for which the property doesn't hold.
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
if a test case is discovered for which the property doesn't hold.
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
if a test case is discovered for which the property doesn't hold.
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
if a test case is discovered for which the property doesn't hold.
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.
if specified value
is less than zero.
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.
if specified value
is less than zero.
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).
if specified value
is less than zero.
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.
if specified value
is less than or equal to zero.
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.
if specified value
is less than or equal to zero.
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.