GNATcoverage User’s Guide [GNATcoverage 20.0w (20181008)]