Closed bartgol closed 3 years ago
Note: there are fails that are "ok", meaning that we might have a way to generate inputs that once in a million gives bad inputs, but fixing it would be too complicated, and we might accept the 1 in a 1M fail. If that's the case, then this is "fine". But we should diagnose it first.
I think this is a "1 in a 1M fail" situation. It comes from dividing by 0 in the middle of the function, where the denominator is 1 - 1.5*0.31802/0.47703 = 0
. This doesn't trigger in DP, only in SP. In the formula, 1
and 1.5
are constants, 0.47703
is a random input obklen
for the test, and 0.31802
is the computed value pblh
. I guess changing the range of the input obklen
to be greater than 1 would ensure this never happens again, but I don't think we'll ever see it again anyways.
Jeez, what are the odds... Are those numbers generated independently? I am talking about the 0.31802 and 0.47703. I just want to make sure we don't have one computed as a fcn of the other, in a way that can trigger this again.
If you feel confident this is just bad luck with random (and unphysical) inputs, then go ahead and close the issue.
Thanks for checking this!
Yeah, it's kind of crazy. 0.47703 is a constant input and only used in that computation. 0.31802 is from a lot of other computation that doesn't involve the 0.47703 value at all.
Reproducer:
Relevant output:
P.s: This is why it's great that we print our rng seed: whenever we hit a bad case, we can take the rng seed from the output and re-create the same random inputs.