GNATDAS
23.0w (20220529)
  • 1. GNATcoverage User’s Guide
    • 1.1. Getting Started
    • 1.2. Specifying Units Of Interest
    • 1.3. Producing binary traces with gnatcov run
    • 1.4. Producing source traces with gnatcov instrument
    • 1.5. Source coverage analysis with gnatcov coverage
    • 1.6. Object coverage analysis with gnatcov coverage
    • 1.7. Object/Source level metrics considerations
    • 1.8. Coverage Consolidation
    • 1.9. Coverage Exemptions
    • 1.10. Using project files
    • 1.11. Importing binary traces with gnatcov convert
      • 1.11.1. gnatcov convert command line
      • 1.11.2. Generating Coverage Information from Nexus Traces on MPC5634M
      • 1.11.3. Generating Coverage Information from Lauterbach Trace32
    • 1.12. Using GNATcoverage from GNAT Studio
    • 1.13. Appendices
    • 1.14. Glossary of terms & concepts
  • 2. GNATtest User’s Guide
  • 3. Using GNATtest with GNATcoverage
  • 4. GNATfuzz User’s Guide
GNATDAS
  • »
  • 1. GNATcoverage User’s Guide »
  • 1.11. Importing binary traces with gnatcov convert

1.11. Importing binary traces with gnatcov convert¶

Traces generated from external sources (other than by using gnatcov run) can be imported into GNATcoverage by converting them to the GNATcoverage format using gnatcov convert.

  • 1.11.1. gnatcov convert command line
  • 1.11.2. Generating Coverage Information from Nexus Traces on MPC5634M
    • 1.11.2.1. Nexus Program Trace Data: the Hardware Perspective
    • 1.11.2.2. Configuring the winIDEA Analyzer
    • 1.11.2.3. Exporting the Trace Data
  • 1.11.3. Generating Coverage Information from Lauterbach Trace32
    • 1.11.3.1. Enabling Trace Data
    • 1.11.3.2. Running the executable
    • 1.11.3.3. Exporting the Trace Data
    • 1.11.3.4. Automation
Next Previous

© Copyright 2009-2022, AdaCore.

Built with Sphinx using a theme provided by Read the Docs.