Trait

org.scalacheck.Test.Parameters

Default

Related Doc: package Parameters

Permalink

trait Default extends Parameters

Default test parameters trait. This can be overriden if you need to tweak the parameters:

val myParams = new Parameters.Default {
  override val minSuccesfulTests = 600
  override val maxDiscardRatio = 8
}

You can also use the withXXX-methods in org.scalacheck.Test.Parameters to achieve the same thing:

val myParams = Parameters.default
  .withMinSuccessfulTests(600)
  .withMaxDiscardRatio(8)
Source
Test.scala
Linear Supertypes
Parameters, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Default
  2. Parameters
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. val customClassLoader: Option[ClassLoader]

    Permalink

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

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

    Definition Classes
    DefaultParameters
  7. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  11. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  12. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  13. val maxDiscardRatio: Float

    Permalink

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

    The maximum ratio between discarded and passed tests allowed before ScalaCheck gives up and discards the property. At least minSuccesfulTests will always be run, though.

    Definition Classes
    DefaultParameters
  14. val maxSize: Int

    Permalink

    The maximum size given as parameter to the generators.

    The maximum size given as parameter to the generators.

    Definition Classes
    DefaultParameters
  15. val minSize: Int

    Permalink

    The starting size given as parameter to the generators.

    The starting size given as parameter to the generators.

    Definition Classes
    DefaultParameters
  16. val minSuccessfulTests: Int

    Permalink

    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.

    Definition Classes
    DefaultParameters
  17. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  18. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  19. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  20. val rng: Random

    Permalink

    The random number generator used.

    The random number generator used.

    Definition Classes
    DefaultParameters
  21. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  22. val testCallback: TestCallback

    Permalink

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

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

    Definition Classes
    DefaultParameters
  23. def toString(): String

    Permalink
    Definition Classes
    Parameters → AnyRef → Any
  24. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. def withCustomClassLoader(customClassLoader: Option[ClassLoader]): Parameters

    Permalink

    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.

    Definition Classes
    Parameters
  28. def withMaxDiscardRatio(maxDiscardRatio: Float): Parameters

    Permalink

    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.

    Definition Classes
    Parameters
  29. def withMaxSize(maxSize: Int): Parameters

    Permalink

    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.

    Definition Classes
    Parameters
  30. def withMinSize(minSize: Int): Parameters

    Permalink

    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.

    Definition Classes
    Parameters
  31. def withMinSuccessfulTests(minSuccessfulTests: Int): Parameters

    Permalink

    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.

    Definition Classes
    Parameters
  32. def withRng(rng: Random): Parameters

    Permalink

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

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

    Definition Classes
    Parameters
  33. def withTestCallback(testCallback: TestCallback): Parameters

    Permalink

    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.

    Definition Classes
    Parameters
  34. def withWorkers(workers: Int): Parameters

    Permalink

    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.

    Definition Classes
    Parameters
  35. val workers: Int

    Permalink

    The number of tests to run in parallel.

    The number of tests to run in parallel.

    Definition Classes
    DefaultParameters

Inherited from Parameters

Inherited from AnyRef

Inherited from Any

Ungrouped