Ad
  • Custom User Avatar

    I still have a problem with random inputs:
    should work for random inputs

    Expected 8.812722434808692e-2, but got 8.812722434817506e-2 (after 6 tests and 68 shrinks):
    0.0
    -8.812722434817506e-2
    Positive {getPositive = 8.81309472343388e-14}