The property was proved wrong with the given concrete arguments.
An exception was raised when trying to generate concrete arguments for evaluating the property.
Test parameters
An exception was raised when trying to evaluate the property with the given concrete arguments.
ScalaCheck managed to prove the property correct
Test statistics
Test status
Property evaluation callback.
Property evaluation callback. Takes property name, and number of passed and discarded tests, respectively
(Since version 1.8) (v1.8)
Property evaluation callback.
Property evaluation callback. Takes number of passed and discarded tests, respectively
(Since version 1.8) (v1.8)
Test callback.
Test callback. Takes property name, and test results.
(Since version 1.8) (v1.8)
The property test was exhausted, it wasn't possible to generate enough concrete arguments satisfying the preconditions to get enough passing property evaluations.
ScalaCheck found enough cases for which the property holds, so the property is considered correct.
Tests a property with the given testing parameters, and returns the test results.
Tests a property and prints results to the console
Tests a property and prints results to the console
(Since version 1.8) Use check(Params(testCallback = ConsoleReporter()), p) instead.
Tests a property and prints results to the console.
Tests a property and prints results to the console. The
maxDiscarded
parameter specifies how many
discarded tests that should be allowed before ScalaCheck
(Since version 1.8) Use check(Params(maxDiscardedTests = n, testCallback = ConsoleReporter()), p) instead.
(Since version 1.8) Use check(prms.copy(testCallback = myCallback), p) instead
Tests all properties with default testing parameters, and returns the test results.
Tests all properties with default testing parameters, and returns the test results. The results are also printed on the console during testing.
(Since version 1.8) Use checkProperties(Params(), ps) instead.
Tests all properties with the given testing parameters, and returns the test results.
Tests all properties with the given testing parameters, and returns the test results.
(Since version 1.8) Use checkProperties(prms, ps) instead
Tests all properties with the given testing parameters, and returns the test results.
Tests all properties with the given testing parameters, and returns
the test results. f
is a function which is called each
time a property is evaluted. g
is a function called each
time a property has been fully tested.
(Since version 1.8) Use checkProperties(prms.copy(testCallback = myCallback), ps) instead.
Default testing parameters
Default testing parameters
(Since version 1.8) Use Test.Params() instead