GNATcoverage User’s Guide [GNATcoverage 1.4.0w (20150225)]