GNATcoverage User’s Guide [GNATcoverage 22.0w (20210317)]