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