Parameters

abstract def customClassLoader: Option[ClassLoader]

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

abstract def maxDiscardRatio: Float

The maximum ratio between discarded and passed tests allowed before ScalaCheck gives up and discards the property.

abstract def maxSize: Int

The maximum size given as parameter to the generators.

abstract def minSize: Int

The starting size given as parameter to the generators.

abstract def minSuccessfulTests: Int

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

abstract def rng: Random

The random numbe generator used.

abstract def testCallback: TestCallback

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

abstract def workers: Int

The number of tests run in parallell.

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

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