The property was proved wrong with the given concrete arguments.
Test parameters used by the check methods.
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
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.
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 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.