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 property.
The maximum ratio between discarded and passed tests allowed before
ScalaCheck gives up and discards the property. At least
minSuccesfulTests
will always be run, though.
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.
The random number generator used.
The random number generator used.
A callback that ScalaCheck calls each time a test is executed.
A callback that ScalaCheck calls each time a test is executed.
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.rng set to the specified value.
Create a copy of this Test.Parameters instance with Test.Parameters.rng 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.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.
The number of tests to run in parallel.
The number of tests to run in parallel.
Default test parameters trait. This can be overriden if you need to tweak the parameters:
You can also use the withXXX-methods in org.scalacheck.Test.Parameters to achieve the same thing: