GNAT DAS
26.0w (20250925)
1. GNATcoverage User’s Guide
1.1. Getting Started
1.2. Specifying
Units Of Interest
1.3. Producing source traces with
gnatcov
instrument
1.4. Producing source traces with integrated instrumentation (experimental)
1.5. Source coverage analysis with
gnatcov
coverage
1.6. Rust coverage analysis with
gnatcov
coverage
1.7. Coverage Consolidation
1.8. Coverage Exemptions
1.9. Disable coverage analysis
1.10. External source annotations
1.11. Using project files
1.12. Using GNATcoverage from GNAT Studio
1.13. Glossary of terms & concepts
1.14. Appendices
1.14.1. Sample html index
1.14.2. Sample html annotated source
2. GNATtest User’s Guide
3. GNATfuzz User’s Guide
4. Using GNATtest with GNATcoverage
5. Using GNATtest with GNATfuzz (experimental)
Appendix A. Using GNATcoverage Binary Traces
GNAT DAS
1.
GNATcoverage User’s Guide
1.14.
Appendices
1.14.
Appendices
1.14.1.
Sample html index
1.14.2.
Sample html annotated source
