Press Release
Feb 1 '11
Today, AdaCore announced the release of GNATcoverage, a tool that analyzes and reports program coverage. Originally developed as part of the Couverture research project, GNATcoverage performs coverage analysis on both object code — instruction and branch coverage – and Ada and C language source code – statement, decision and Modified Condition/Decision Coverage (MC/DC).
