scalacheck/org.scalacheck/Test

Test

object Test
Source:
Test.scala
class Object
trait Matchable
class Any
Test.type

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.

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

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

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

Source:
Test.scala
sealed case class Proved(args: List[Arg[Any]]) extends Status

ScalaCheck managed to prove the property correct

ScalaCheck managed to prove the property correct

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

Test statistics

Test statistics

Source:
Test.scala
sealed trait Status

Test status

Test status

Source:
Test.scala
trait TestCallback
Source:
Test.scala

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

Source:
Test.scala
def checkProperties(prms: Parameters, ps: Properties): Seq[(String, Result)]

Check a set of properties.

Check a set of properties.

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

Source:
Test.scala