GNATcoverage User's Guide .. toctree:: :maxdepth: 3 getting_started units_of_interest src_traces integrated_instr cov_source consolidation exemptions disable_cov external_annotations gpr gps glossary appendix