LCOV - code coverage report
Current view: top level - data/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2149 2875 74.7 %
Date: 2020-08-12 00:34:17 Functions: 134 195 68.7 %
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 % 131 / 180 52.7 % 48 / 91
data_io.cpp
100.0%
100.0 % 47 / 47 100.0 % 7 / 7
data_specification.cpp
93.8%93.8%
93.8 % 346 / 369 91.3 % 21 / 23
typecheck.cpp
71.3%71.3%
71.3 % 1625 / 2279 78.4 % 58 / 74

Generated by: LCOV version 1.13