The property was proved wrong with the given concrete arguments.
Test parameters used by the Test.check method.
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
An exception was raised when trying to generate concrete arguments for evaluating the property.
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 Test.check method.
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 Parameters.default.
Tests a property with parameters that are calculated by applying the provided function to Parameters.default. Example use:
Test.check(p) { _. withMinSuccessfulTests(80000). withWorkers(4) }
Check a set of properties.