Arbitrary instance for Option[A] does not have good coverage.

[j3h]

Since the Arbitrary instance for Option[A] will only generate None when size is zero, it's easy to write passing tests that should fail:

scala> import org.scalacheck.Prop.forAll
import org.scalacheck.Prop.forAll

scala> (forAll { (x: Option[Int], y: Option[Int]) => x.isDefined == y.isDefined }).check
+ OK, passed 100 tests.

[tonymorris]

Holy moly, this is not good. Got a patch?

[j3h]

Just found this. Working on it.

[tonymorris]

Coolo. Thanks for being awesome.

[j3h]

I accidentally duplicated this with issue #76