Add tests for f16 and f128 · model-checking/verify-rust-std@19cfdb2 (original) (raw)

Add tests for f16 and f128

This suite tests all library functions that are now available for the types. Tests are only run on certain platforms where `f16` and `f128` are known to work (have symbols available and don't crash LLVM).

1 parent 561daff commit 19cfdb2