Documentation

GNATcoverage Users Guide

This document introduces the fundamental principles behind GNATcoverage, a non-intrusive structural coverage analysis framework, and offers a toolset user's guide.