Gen.choose is never Double.NaN

ashawley · ashawley · commit 1a790eae64dc · 2018-04-20T14:01:14.000-04:00
Add an additional property check for original requester who asked that
Gen.choose support for Double.{NegativeInfinity, PositiveInfinity}.
diff --git a/jvm/src/test/scala/org/scalacheck/GenSpecification.scala b/jvm/src/test/scala/org/scalacheck/GenSpecification.scala
@@ -118,7 +118,7 @@ object GenSpecification extends Properties("Gen") {
 
   import Double.{MinValue, MaxValue}
   property("choose-large-double") = forAll(choose(MinValue, MaxValue)) { x =>
-    MinValue <= x && x <= MaxValue
+    MinValue <= x && x <= MaxValue && !x.isNaN
   }
 
   import Double.{NegativeInfinity, PositiveInfinity}

Original file line number	Diff line number	Diff line change
`@@ -118,7 +118,7 @@ object GenSpecification extends Properties("Gen") {`
`118`	`118`
`119`	`119`	`import Double.{MinValue, MaxValue}`
`120`	`120`	`property("choose-large-double") = forAll(choose(MinValue, MaxValue)) { x =>`
`121`		`- MinValue <= x && x <= MaxValue`
	`121`	`+ MinValue <= x && x <= MaxValue && !x.isNaN`
`122`	`122`	`}`
`123`	`123`
`124`	`124`	`import Double.{NegativeInfinity, PositiveInfinity}`