m2isar.backends.coverage

This module contains tools to analyze coverage data generated from m2isar.metamodel.code_info.CodeInfoBase objects generated by M2-ISA-R model producers.

Submodules

• m2isar.backends.coverage.coverage_dbg
• m2isar.backends.coverage.coverage_lcov
• m2isar.backends.coverage.id_transform
• m2isar.backends.coverage.utils