John R. Hauser
2018 January 20
Berkeley TestFloat is a small collection of programs for testing that an implementation of binary floating-point conforms to the IEEE Standard for Floating-Point Arithmetic. TestFloat is distributed in the form of C source code.
The TestFloat package is documented in the following files in the doc
subdirectory:
testfloat_gen
program.testfloat_ver
program.testfloat
program.testsoftfloat
program.timesoftfloat
program.Other files in the package comprise the source code for TestFloat.