LCOV - code coverage report
Current view: top level - pres/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 55 272 20.2 %
Date: 2024-05-01 03:37:31 Functions: 15 71 21.1 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
algorithms.cpp
21.7%21.7%
 21.7 % 5 / 23 25.0 % 2 / 8
io.cpp
11.1%11.1%
 11.1 % 17 / 153 6.7 % 1 / 15
pres.cpp
34.4%34.4%
 34.4 % 33 / 96 25.0 % 12 / 48

Generated by: LCOV version 1.14