Packages

case class Parameter(minSuccessful: PosInt = PosInt.ensuringValid(10), maxDiscardedFactor: PosZDouble = PosZDouble.ensuringValid(5.0), minSize: PosZInt = PosZInt.ensuringValid(0), sizeRange: PosZInt = PosZInt.ensuringValid(100), workers: PosInt = PosInt.ensuringValid(1)) extends Product with Serializable

The parameters that define how a property evaluation should be executed.

You typically will not build this directly. Instead, you should define a PropertyCheckConfiguration and/or some PropertyCheckConfigParams, pass those in, and the system will resolve those to a coherent Parameter.

minSuccessful

the minimum number of successful property evaluations required for the property to pass; see MinSuccessful

maxDiscardedFactor

how many generated values may be discarded, as a multiple of the successful attempts, before the property check is considered to be org.scalatest.prop.PropertyCheckResult.Exhausted; see MaxDiscardedFactor

minSize

the minimum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists); see MinSize

sizeRange

the maximum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists); see SizeRange

workers

number of worker threads to use when evaluating a property; see Workers

Source
Configuration.scala
Linear Supertypes
Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Parameter
  2. Serializable
  3. Product
  4. Equals
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Parameter(minSuccessful: PosInt = PosInt.ensuringValid(10), maxDiscardedFactor: PosZDouble = PosZDouble.ensuringValid(5.0), minSize: PosZInt = PosZInt.ensuringValid(0), sizeRange: PosZInt = PosZInt.ensuringValid(100), workers: PosInt = PosInt.ensuringValid(1))

    minSuccessful

    the minimum number of successful property evaluations required for the property to pass; see MinSuccessful

    maxDiscardedFactor

    how many generated values may be discarded, as a multiple of the successful attempts, before the property check is considered to be org.scalatest.prop.PropertyCheckResult.Exhausted; see MaxDiscardedFactor

    minSize

    the minimum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists); see MinSize

    sizeRange

    the maximum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists); see SizeRange

    workers

    number of worker threads to use when evaluating a property; see Workers

Value Members

  1. val maxDiscardedFactor: PosZDouble
  2. lazy val maxSize: PosZInt
  3. val minSize: PosZInt
  4. val minSuccessful: PosInt
  5. def productElementNames: Iterator[String]
    Definition Classes
    Product
  6. val sizeRange: PosZInt
  7. val workers: PosInt