LCOV - code coverage report
Current view: top level - pbes/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 952 1294 73.6 %
Date: 2024-03-08 02:52:28 Functions: 118 169 69.8 %
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
43.5%43.5%
43.5 % 10 / 23 50.0 % 4 / 8
io.cpp
79.4%79.4%
79.4 % 127 / 160 86.7 % 13 / 15
pbes.cpp
65.6%65.6%
65.6 % 61 / 93 55.6 % 25 / 45
pbes_explorer.cpp
80.0%80.0%
80.0 % 754 / 942 78.4 % 76 / 97
pgsolver.cpp
0.0%
0.0 % 0 / 76 0.0 % 0 / 4

Generated by: LCOV version 1.14