Parameters

abstract val customClassLoader: Option[ClassLoader]

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

abstract val initialSeed: Option[Seed]

Initial seed to use for testing.

abstract 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).

abstract val maxSize: Int

The maximum size given as parameter to the generators.

abstract val minSize: Int

The starting size given as parameter to the generators.

abstract val minSuccessfulTests: Int

The minimum number of tests that must succeed for ScalaCheck to consider a property passed.

abstract val propFilter: Option[String]

An optional regular expression to filter properties on.

abstract val testCallback: TestCallback

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

abstract val workers: Int

The number of tests to run in parallel.

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def disableLegacyShrinking: Parameters

Disable legacy shrinking.

def enableLegacyShrinking: Parameters

Enable legacy shrinking.

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

val useLegacyShrinking: Boolean

Use legacy shrinking.

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def withCustomClassLoader(customClassLoader: Option[ClassLoader]): Parameters

Create a copy of this Test.Parameters instance with Test.Parameters.customClassLoader set to the specified value.

def withInitialSeed(n: Long): Parameters

Set initial seed as long integer.

def withInitialSeed(seed: Seed): Parameters

Set initial seed to use.

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

Set initial seed to use.

def withLegacyShrinking(b: Boolean): Parameters

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.

def withMaxSize(maxSize: Int): Parameters

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.

def withMinSuccessfulTests(minSuccessfulTests: Int): Parameters

Create a copy of this Test.Parameters instance with Test.Parameters.minSuccessfulTests set to the specified value.

def withNoInitialSeed: Parameters

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.

def withTestCallback(testCallback: TestCallback): Parameters

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.