scalacheck/org.scalacheck/Test

Test

object Test
class Object
trait Matchable
class Any

Type members

Classlikes

case object Exhausted extends Status

The property test was exhausted, it wasn't possible to generate enough concrete arguments satisfying the preconditions to get enough passing property evaluations.

The property test was exhausted, it wasn't possible to generate enough concrete arguments satisfying the preconditions to get enough passing property evaluations.

sealed case class Failed(args: List[Arg[Any]], labels: Set[String]) extends Status

The property was proved wrong with the given concrete arguments.

The property was proved wrong with the given concrete arguments.

sealed abstract class Parameters

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

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

Companion
object
object Parameters

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

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

Companion
class
case object Passed extends Status

ScalaCheck found enough cases for which the property holds, so the property is considered correct. (It is not proved correct, though).

ScalaCheck found enough cases for which the property holds, so the property is considered correct. (It is not proved correct, though).

sealed case class PropException(args: List[Arg[Any]], e: Throwable, labels: Set[String]) extends Status

An exception was raised when trying to evaluate the property with the given concrete arguments. If an exception was raised before or during argument generation, the argument list will be empty.

An exception was raised when trying to evaluate the property with the given concrete arguments. If an exception was raised before or during argument generation, the argument list will be empty.

sealed case class Proved(args: List[Arg[Any]]) extends Status

ScalaCheck managed to prove the property correct

ScalaCheck managed to prove the property correct

final case class Result(status: Status, succeeded: Int, discarded: Int, freqMap: FreqMap[Set[Any]], time: Long)

Test statistics

Test statistics

sealed trait Status

Test status

Test status

trait TestCallback

Value members

Concrete methods

def check(p: Prop)(f: Parameters => Parameters): Result

Tests a property with parameters that are calculated by applying the provided function to Test.Parameters.default. Example use:

Tests a property with parameters that are calculated by applying the provided function to Test.Parameters.default. Example use:

Test.check(p) { _.
  withMinSuccessfulTests(80000).
  withWorkers(4)
}
def check(params: Parameters, p: Prop): Result

Tests a property with the given testing parameters, and returns the test results.

Tests a property with the given testing parameters, and returns the test results.

def checkProperties(prms: Parameters, ps: Properties): Seq[(String, Result)]

Check a set of properties.

Check a set of properties.

def matchPropFilter(propertyName: String, regex: Regex): Boolean

Returns the result of filtering a property name by a supplied regular expression.

Returns the result of filtering a property name by a supplied regular expression.

Value Params
propertyName

The name of the property to be filtered.

regex

The regular expression to filter the property name by.

Returns

true if the regular expression matches the property name, false if not.