GNATcoverage User’s Guide [GNATcoverage 18.0w (20170516)]