Default test parameters trait.
Default test parameters trait. This can be overriden if you need to tweak the parameters:
val myParams = new Parameters.Default { override val minSuccesfulTests = 600 override val maxDiscardRatio = 8 }
You can also use the withXXX-methods in org.scalacheck.Test.Parameters to achieve the same thing:
val myParams = Parameters.default .withMinSuccessfulTests(600) .withMaxDiscardRatio(8)
Default test parameters instance.
Verbose console reporter test parameters instance.
Test parameters used by the check methods. Default parameters are defined by Test.Parameters.Default.