Evidence

Coverage panels.

A panel turns exploratory observation into repeatable evidence: it names every feature it exercises, the state that feature is in, and where the proof lives.

C++ to Ada specification feature panel

cxx-ada-spec

This panel turns exploratory g++ -fdump-ada-spec observations into repeatable evidence. It separates three outcomes that need different treatment:

  • 15Verified working
  • 21Fixed by a shipped bundle
  • 7Fixed by a staged bundle
  • 2Bounded, not a defect
Features
45
Runtime suites
22
Compilers
13.2.0, 14.2.0, 15.3.0, 16.2.0