Parameters

sealed abstract class Parameters

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
class Object
trait Matchable
class Any

Value members

Concrete methods

Disable legacy shrinking.

Disable legacy shrinking.

Enable legacy shrinking.

Enable legacy shrinking.

override def toString: String
Definition Classes
Any
def withCustomClassLoader(customClassLoader: Option[ClassLoader]): Parameters

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.

def withInitialSeed(o: Option[Seed]): Parameters

Set initial seed to use.

Set initial seed to use.

Set initial seed to use.

Set initial seed to use.

Set initial seed as long integer.

Set initial seed as long integer.

Set legacy shrinking.

Set legacy shrinking.

def withMaxDiscardRatio(maxDiscardRatio: Float): Parameters

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.

def withMaxSize(maxSize: Int): Parameters

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.

def withMinSize(minSize: Int): Parameters

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.

def withMinSuccessfulTests(minSuccessfulTests: Int): Parameters

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.

Don't set an initial seed.

Don't set an initial seed.

def withPropFilter(propFilter: Option[String]): Parameters

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.

def withWorkers(workers: Int): Parameters

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

val customClassLoader: Option[ClassLoader]

A custom class loader that should be used during test execution.

A custom class loader that should be used during test execution.

val initialSeed: Option[Seed]

Initial seed to use for testing.

Initial seed to use for testing.

val maxDiscardRatio: Float

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.

val maxSize: Int

The maximum size given as parameter to the generators.

The maximum size given as parameter to the generators.

val minSize: Int

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.

val propFilter: Option[String]

An optional regular expression to filter properties on.

An optional regular expression to filter properties on.

A callback that ScalaCheck calls each time a test is executed.

A callback that ScalaCheck calls each time a test is executed.

val workers: Int

The number of tests to run in parallel.

The number of tests to run in parallel.

Concrete fields

val useLegacyShrinking: Boolean

Use legacy shrinking.

Use legacy shrinking.