Each sentence that has a testable effect has an accompanying test case, which can then be executed separately as needed to isolate specific conformance problems. Over 2500 test cases are required to validate this extensive library.
Some cases are for very simple minimal requirements.
Most cases embody a commercially reasonable example of intended functionality, typically combining some feature or interaction from other portions of the standard. Tests produce a run-time tabulation of cases failed, cases skipped, and cases passed, as well as detailed logs of any errors encountered. Even The Standard C Library must be augmented, with a complete set of math functions in all three precisions.