org.scalacheck.Test
ScalaCheck found enough cases for which the property holds, so the property is considered correct. (It is not proved correct, though).
ScalaCheck found enough cases for which the property holds, so the property is considered correct. (It is not proved correct, though).