fptest

IEEE754r floating point conformance tests

https://github.com/jrp2014/fptest

Latest on Hackage:0.2.3.0

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD-3-Clause licensed by John Pavel
Maintained by [email protected]

A series of floating point conformance tests for Haskell. Currently implemented are: QTrial, the floating point benchmark described in / IEEE Standard 754 for Binary Floating-Point Arithmetic by Prof. W. Kahan <http:www.eecs.berkeley.edu~wkahanieee754statusIEEE754.PDF> This can be run with a simple cabal run qtrial. FPTest runs a sequence of floating point test vectors generated by IBM's FPGen Floating-Point Test Generator. This is done either by interpreting the tests or by translating the tests into a Haskell HUnit test suite script that can just be executed using runhaskell. The IBM test vectors are available from here. You will, most likely, want the binary tests unless you have a decimal machine. Only 32-bit float tests are provided (not 64-bit double ones) although FPTest supports Doubles. The syntax of the test vectors can be found here or in Chapter 4 <https://www.research.ibm.com/haifa/projects/verification/fpgen/papers/ieee-test-suite-v2.pdfs Floating-Point Test-Suite for IEEE here>