Validate against actual libm implementations

rust-lang / libm

A port of MUSL's libm to Rust.

Other

548 stars 97 forks source link

Validate against actual libm implementations #150

Open gnzlbg opened 6 years ago

gnzlbg commented 6 years ago

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.

Schultzer commented 5 years ago

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

alexcrichton commented 5 years ago

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