Verify nonZeroDouble generator

[jcornaz]

The current implementation looks suspicious:

fun Generator.Companion.nonZeroDoubles(
    min: Double = -Double.MAX_VALUE,
    max: Double = Double.MAX_VALUE
): Generator<Double> =
    negativeDoubles(min) + doubles(Double.MIN_VALUE, max)

Verify that it is properly tested, and works correctly.

[jcornaz]

Actually the implementation is correct.

And tested:

kwik/generator/stdlib/src/commonTest/kotlin/com/github/jcornaz/kwik/generator/stdlib/DoubleGeneratorTest.kt

Line 108 in d4c949d

class NonZeroDoubleTest : AbstractGeneratorTest() {

I got confused because of Double.MIN_VALUE having a very different semantic than Int.MIN_VALUE.

• Int.MIN_VALUE returns the smallest possible int (which is negative).
• Double.MIN_VALUE returns the smallest, non-zero, positive value.