Provide range-based numeric generators

As discussed in #214, it would be useful for certain applications to provide a configurable range-based Double generator. Since the default Double generator is, by design, unable to compare two Double values as a consequence of the JVM specification, it would be nice to have a generator implementation which does not consider such extrema. Furthermore, since this behavior extends to other floating point types per the IEEE standard, it would be nice to circumvent these cases for the purposes of checking other numerical properties.

Further motivation for range-based generators would be to cover the space input values more extensively, for a smaller subset of the input domain.

@Kerooker

[LeoColman]

This wouldn’t be hard to implement, we just have to figure out some nomenclature. I was thinking something like this:

• Keep Gen.double() as it is (generating all possible doubles)
• Have a Gen.numericDoubles() which would generate only numeric doubles (including a very very small one, close to -Infinity and a very very big one, close to +Infinity)
• Have Gen.numericDoubles(minValue, maxValue) which would generate only numeric doubles, in the interval [minValue, maxValue]

[sksamuel]

exactDoubles, representableDoubles, numericDoubles

On Tue, 8 Jan 2019 at 12:53, Kerooker [e-mail] wrote:

You stand correct. Only a subset of real numbers are representable.

I liked numericDoubles

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/kotlintest/kotlintest/issues/530#issuecomment-452287742, or mute the thread https://github.com/notifications/unsubscribe-auth/AAtZGg7rPNnLw9gZ55V6WzHzYGTpALIsks5vBJTIgaJpZM4Z0s5u .