Infinite Repetition/Never Ending Test with `f32` and `f64`.

[Alexhuszagh]

Infinite Repetition/Never Ending Test with `f32` and `f64`.

[neithernut]

Also reproduces with i32::MIN but not with e.g. i32::MIN + 1.

Reproducer:

use quickcheck::Arbitrary;
i32::MIN.shrink().for_each(|v| println!("{}", v));

Looking at the SignedShrinker, it's quite obvious that the shrinker is quaranteed to yield a result if it was initialized from i32::MIN:

quickcheck/src/arbitrary.rs

Line 827 in defde6f

if self.x == <$ty>::MIN

Which results in the endless iteration.

I'm honestly surprised this didn't surface any earlier.

[neithernut]

Can you verify that #296 solves your problem?

[Alexhuszagh]

@neithernut Seems like it has, both #285 and this bug seem to be fixed by the changes. I can't reproduce it exactly with the cases, since running 50 or so repeats never had had those specific bit patterns occur, however, all the failing cases in the shrinker before had a bit pattern of 0b1100111XXXXXXXXXXXXXXXXXXXXXXXXX, so I created the following test:

#[cfg(test)]
mod tests {
    use quickcheck::quickcheck;

    quickcheck! {
        fn case_failure(a: f32) -> bool {
            let mask = 0b11001110000000000000000000000000;
            a.to_bits() & mask != mask
        }
    }
}

The minimum failing case, as expected was 0b11001110000000000000000000000000, or -536870900.0, which is fixed in your branch, but overflows the stack in the master branch. This now seems to be a further extension of #285.

0b11001000000000000000000000000000 does not cause a stack overflow on either, while 0b11001100000000000000000000000000 does produce a stack overflow for the master branch, so I believe this is a useful metric that the issue is fixed.

[Alexhuszagh]

Can you verify that #296 solves your problem?

Yep, it does. Wonderful, thank you.

[Alexhuszagh]

Weirdly, I'm getting another issue with a stack overflow for cases failing with the bit pattern 0b11001110111111111111111111110000 or 0b11001111000000000000000000000000 for a signed 32-bit integer type. Both these cases fail, and I'm unsure specifically which one causes the indefinite repetition.

It then attempts to shrink as follows (I believe, this is just the data passed to my test function being printed out as bits):

0b11001110111111111111111111111000
0b11001110111111111111111111111100
0b11001110111111111111111111111110
0b11001110111111111111111111111111
0b11001111000000000000000000000000
0b10000000000000000000000000000000
0b11001110100000000000000000000000
0b11001110110000000000000000000000
0b11001110111000000000000000000000
0b11001110111100000000000000000000
0b11001110111110000000000000000000
0b11001110111111000000000000000000
0b11001110111111100000000000000000
0b11001110111111110000000000000000
0b11001110111111111000000000000000
0b11001110111111111100000000000000
0b11001110111111111110000000000000
0b11001110111111111111000000000000
0b11001110111111111111100000000000
0b11001110111111111111110000000000
0b11001110111111111111111000000000
0b11001110111111111111111100000000
0b11001110111111111111111110000000
0b11001110111111111111111111000000
0b11001110111111111111111111100000

This repeats indefinitely until there's a fatal error due to a stack overflow. I've been using your branch of proptest until the changes are merged, but this also reproduces on the main quickcheck repository. This also reproduces on v1.0.3, so it should be another issue with the shrinker.

[neithernut]

Can you be more specific about what types you use? i32? u32?

Also, I this may warrant a new issue, though it definitely looks related.

[Alexhuszagh]

Can you be more specific about what types you use? i32? u32?

Also, I this may warrant a new issue, though it definitely looks related.

I'm using f32, so it should be using a signed shrinker. I'll see if I can create a minimal failing case.

[neithernut]

Looks like I failed to fix the issue properly.

The shrinker is bounded but it does yield the original value, which results in an endless recursion as quickcheck executes the test with the exact same value again and again. As I can't reproduce the issue with a i32 I suspect some information loss in the conversion to f32. I'll have another look later.

[neithernut]

I just applied some additional band-aids. Could you check whether you can reproduce the issue with 0c279d6 (part of #296)?

[KamilaBorowska]

I get an infinite loop with the following test case:

quickcheck! {
    fn something(x: f64) -> bool {
        let x = x.abs() % 355.0;
        x.cosh().acosh() - x < 1e-10
    }
}

[neithernut]

I have trouble reproducing the issue (both on master and with #296). Does this happen with some specific initial values of x?

[KamilaBorowska]

It's random for me :(, may necessitate running the test multiple times.

[neithernut]

To be clear: it does reproduce on master. That much is expected since no fix was merged since the original issue report. However, I dedicated quite a bit of CPU time in an attempt to reproduce the issue with the changes in #296 applied, without any success. So... can you actually reproduce your issue with the fix(es) in #296 or "only" on current master (aka tag 1.0.3 aka defde6f)?

[KamilaBorowska]

Yeah, I only reproduced this with 1.0.3.

[fosskers]

It seems this might still be an issue?

[neithernut]

#296 was supposed to fix this, but it was never merged.

...and that's not the only issue still open with an existing fix. quickcheck appears to be practically abandoned. Depending on your situation, you may want to consider alternatives such as proptest or qcheck (which is a fork).

[fosskers]

Related: image-rs/imageproc#522