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

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 rng: Random

The random number generator used.

abstract val testCallback: TestCallback

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

abstract val workers: Int

The number of tests run in parallell.

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 Parameters instance with customClassLoader set to the specified value.

def withMaxDiscardRatio(maxDiscardRatio: Float): Parameters

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

def withMaxSize(maxSize: Int): Parameters

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

def withMinSize(minSize: Int): Parameters

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

def withMinSuccessfulTests(minSuccessfulTests: Int): Parameters

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

def withRng(rng: Random): Parameters

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

def withTestCallback(testCallback: TestCallback): Parameters

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

def withWorkers(workers: Int): Parameters

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