Closed peti closed 2 years ago
Citing from https://hydra.nixos.org/build/125291260:
Discrete CDF is OK: FAIL *** Failed! Falsified (after 66 tests): binomial 89 0.9998382714932255 N= 3 p[i]=0.0 p[i+1]=1.023e-321 dP=0.0 relerr=1.0 N= 4 p[i]=1.023e-321 p[i+1]=1.3622614e-316 dP=1.32609764e-316 relerr=2.653936291108837e-2 Use --quickcheck-replay=282145 to reproduce.
Fixed in #178
Citing from https://hydra.nixos.org/build/125291260: