GNATcoverage User’s Guide [GNATcoverage 17.0w (20160930)]