Parameters

org.scalacheck.Test.Parameters
See theParameters companion object
sealed abstract class Parameters

Test parameters used by the check methods. Default parameters are defined by Test.Parameters.default.

Attributes

Companion
object
Source
Test.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

Disable legacy shrinking.

Disable legacy shrinking.

Attributes

Source
Test.scala

Enable legacy shrinking.

Enable legacy shrinking.

Attributes

Source
Test.scala
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Any
Source
Test.scala
def withCustomClassLoader(customClassLoader: Option[ClassLoader]): Parameters

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.

Attributes

Source
Test.scala

Set initial seed to use.

Set initial seed to use.

Attributes

Source
Test.scala

Set initial seed to use.

Set initial seed to use.

Attributes

Source
Test.scala

Set initial seed as long integer.

Set initial seed as long integer.

Attributes

Source
Test.scala

Set legacy shrinking.

Set legacy shrinking.

Attributes

Source
Test.scala
def withMaxDiscardRatio(maxDiscardRatio: Float): Parameters

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.

Attributes

Source
Test.scala

Set maximum RNG spins between checks

Set maximum RNG spins between checks

Attributes

Source
Test.scala
def withMaxSize(maxSize: Int): Parameters

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.

Attributes

Source
Test.scala
def withMinSize(minSize: Int): Parameters

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.

Attributes

Source
Test.scala
def withMinSuccessfulTests(minSuccessfulTests: Int): Parameters

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.

Attributes

Source
Test.scala

Don't set an initial seed.

Don't set an initial seed.

Attributes

Source
Test.scala
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.

Create a copy of this Test.Parameters instance with Test.Parameters.propFilter set to the specified regular expression filter.

Attributes

Source
Test.scala

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.

Attributes

Source
Test.scala
def withWorkers(workers: Int): Parameters

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.

Attributes

Source
Test.scala

Abstract fields

val customClassLoader: Option[ClassLoader]

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

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

Attributes

Source
Test.scala

Initial seed to use for testing.

Initial seed to use for testing.

Attributes

Source
Test.scala

The maximum ratio between discarded and passed tests allowed before ScalaCheck gives up and discards the whole property (with status Test.Exhausted).

The maximum ratio between discarded and passed tests allowed before ScalaCheck gives up and discards the whole property (with status Test.Exhausted). Additionally, ScalaCheck will always allow at least minSuccessfulTests * maxDiscardRatio discarded tests, so the resulting discard ratio might be higher than maxDiscardRatio.

Attributes

Source
Test.scala
val maxSize: Int

The maximum size given as parameter to the generators.

The maximum size given as parameter to the generators.

Attributes

Source
Test.scala
val minSize: Int

The starting size given as parameter to the generators.

The starting size given as parameter to the generators.

Attributes

Source
Test.scala

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.

Attributes

Source
Test.scala

An optional regular expression to filter properties on.

An optional regular expression to filter properties on.

Attributes

Source
Test.scala

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

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

Attributes

Source
Test.scala
val workers: Int

The number of tests to run in parallel.

The number of tests to run in parallel.

Attributes

Source
Test.scala

Concrete fields

Maximum number of spins of the RNG to perform between checks.

Maximum number of spins of the RNG to perform between checks. Greater values will reduce reuse of values (with dimimishing returns) for a given number of arguments to Prop.forAll tests. Greater values will also generally lead to slower tests, so be careful.

Attributes

Source
Test.scala

Use legacy shrinking.

Use legacy shrinking.

Attributes

Source
Test.scala