LCOV - code coverage report
Current view: top level - pbes/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 835 1047 79.8 %
Date: 2020-02-28 00:44:21 Functions: 123 167 73.7 %
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
47.8%47.8%
47.8 % 11 / 23 60.0 % 6 / 10
pbes.cpp
69.6%69.6%
69.6 % 64 / 92 60.4 % 29 / 48
pbes_explorer.cpp
80.7%80.7%
80.7 % 688 / 853 78.8 % 78 / 99
io.cpp
91.1%91.1%
91.1 % 72 / 79 100.0 % 10 / 10

Generated by: LCOV version 1.13