LCOV - code coverage report
Current view: top level - data/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2351 3096 75.9 %
Date: 2024-03-08 02:52:28 Functions: 129 187 69.0 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
data.cpp
72.8%72.8%
72.8 % 134 / 184 52.3 % 46 / 88
data_io.cpp
95.5%95.5%
95.5 % 42 / 44 100.0 % 5 / 5
data_specification.cpp
94.6%94.6%
94.6 % 434 / 459 90.0 % 18 / 20
typecheck.cpp
72.3%72.3%
72.3 % 1741 / 2409 81.1 % 60 / 74

Generated by: LCOV version 1.14