GNATcoverage User’s Guide [GNATcoverage 19.0w (20180814)]