Correctness

What is tested, what is analyzed, and what none of it covers.

• The test suite
• Numbers, and how far they can be trusted
• What each optimization level costs
• The analyzers
• Documented symbol coverage