LCOV - code coverage report
Current view: top level - data/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2101 2850 73.7 %
Date: 2020-02-28 00:44:21 Functions: 129 194 66.5 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
data_io.cpp
21.9%21.9%
21.9 % 7 / 32 42.9 % 3 / 7
typecheck.cpp
71.3%71.3%
71.3 % 1626 / 2280 78.4 % 58 / 74
data.cpp
72.8%72.8%
72.8 % 131 / 180 52.7 % 48 / 91
data_specification.cpp
94.1%94.1%
94.1 % 337 / 358 90.9 % 20 / 22

Generated by: LCOV version 1.13