Parameters

abstract val customClassLoader: Option[ClassLoader]

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

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 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

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

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