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