LCOV - code coverage report
Current view: top level - data/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1889 2608 72.4 %
Date: 2019-05-22 00:50:25 Functions: 118 178 66.3 %
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
66.9%66.9%
66.9 % 85 / 127 50.6 % 43 / 85
data_specification.cpp
89.1%89.1%
89.1 % 180 / 202 89.5 % 17 / 19
typecheck.cpp
71.3%71.3%
71.3 % 1624 / 2279 78.4 % 58 / 74

Generated by: LCOV version 1.12