Test parameters used by the check methods. Default parameters are defined by Test.Parameters.default.
Test parameters used by the check methods. Default parameters are defined by Test.Parameters.default.
- Companion
- object
Value members
Concrete methods
Create a copy of this Test.Parameters instance with Test.Parameters.customClassLoader set to the specified value.
Create a copy of this Test.Parameters instance with Test.Parameters.customClassLoader set to the specified value.
Create a copy of this Test.Parameters instance with Test.Parameters.maxDiscardRatio set to the specified value.
Create a copy of this Test.Parameters instance with Test.Parameters.maxDiscardRatio set to the specified value.
Create a copy of this Test.Parameters instance with Test.Parameters.maxSize set to the specified value.
Create a copy of this Test.Parameters instance with Test.Parameters.maxSize set to the specified value.
Create a copy of this Test.Parameters instance with Test.Parameters.minSize set to the specified value.
Create a copy of this Test.Parameters instance with Test.Parameters.minSize set to the specified value.
Create a copy of this Test.Parameters instance with Test.Parameters.minSuccessfulTests set to the specified value.
Create a copy of this Test.Parameters instance with Test.Parameters.minSuccessfulTests set to the specified value.
Create a copy of this Test.Parameters instance with Test.Parameters.propFilter set to the specified regular expression filter.
Create a copy of this Test.Parameters instance with Test.Parameters.propFilter set to the specified regular expression filter.
Create a copy of this Test.Parameters instance with Test.Parameters.testCallback set to the specified value.
Create a copy of this Test.Parameters instance with Test.Parameters.testCallback set to the specified value.
Create a copy of this Test.Parameters instance with Test.Parameters.workers set to the specified value.
Create a copy of this Test.Parameters instance with Test.Parameters.workers set to the specified value.
Abstract fields
A custom class loader that should be used during test execution.
A custom class loader that should be used during test execution.
The maximum ratio between discarded and passed tests allowed before
ScalaCheck gives up and discards the whole property (with status
Test.Exhausted). Additionally, ScalaCheck will always allow
at least minSuccessfulTests * maxDiscardRatio
discarded tests, so the
resulting discard ratio might be higher than maxDiscardRatio
.
The maximum ratio between discarded and passed tests allowed before
ScalaCheck gives up and discards the whole property (with status
Test.Exhausted). Additionally, ScalaCheck will always allow
at least minSuccessfulTests * maxDiscardRatio
discarded tests, so the
resulting discard ratio might be higher than maxDiscardRatio
.
The maximum size given as parameter to the generators.
The maximum size given as parameter to the generators.
The starting size given as parameter to the generators.
The starting size given as parameter to the generators.
The minimum number of tests that must succeed for ScalaCheck to consider a property passed.
The minimum number of tests that must succeed for ScalaCheck to consider a property passed.
An optional regular expression to filter properties on.
An optional regular expression to filter properties on.