libm icon indicating copy to clipboard operation
libm copied to clipboard

Validate against actual libm implementations

Open gnzlbg opened this issue 7 years ago • 2 comments

The functions taking a single f32 could be fully validated (for all input bit-patterns) against libm.

For functions taking multiple arguments and single f64s, the validation against libm could happen for some value ranges only.

gnzlbg avatar Oct 02 '18 08:10 gnzlbg

Hey @alexcrichton as far as I understand then the tests cover this right?

Schultzer avatar May 17 '19 06:05 Schultzer

I think this issue is more about exhaustive testing of all f32 bit patterns whereas today we just do a best-effort randomized fuzzing sorta against musl's libm

alexcrichton avatar May 17 '19 14:05 alexcrichton