The property was proved wrong with the given concrete arguments.
Test parameters used by the check methods.
Test parameters used by the check methods. Default parameters are defined by Test.Parameters.Default.
An exception was raised when trying to evaluate the property with the given concrete arguments.
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.
ScalaCheck managed to prove the property correct
Test statistics
Test status
An exception was raised when trying to generate concrete arguments for evaluating the property.
An exception was raised when trying to generate concrete arguments for evaluating the property.
(Since version 1.11.2) Not used. The type PropException is used for all exceptions.
The property test was exhausted, it wasn't possible to generate enough concrete arguments satisfying the preconditions to get enough passing property evaluations.
Test parameters used by the check methods.
Test parameters used by the check methods. Default parameters are defined by Test.Parameters.Default.
ScalaCheck found enough cases for which the property holds, so the property is considered correct.
ScalaCheck found enough cases for which the property holds, so the property is considered correct. (It is not proved correct, though).
Tests a property with the given testing parameters, and returns the test results.
Tests a property with parameters that are calculated by applying the provided function to Test.Parameters.default.
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) }
Check a set of properties.