LCOV - code coverage report
Current view: top level - pbes/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 735 933 78.8 %
Date: 2019-07-19 02:46:18 Functions: 108 152 71.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
47.8%47.8%
47.8 % 11 / 23 60.0 % 6 / 10
pbes.cpp
63.8%63.8%
63.8 % 37 / 58 55.8 % 24 / 43
pbes_explorer.cpp
80.6%80.6%
80.6 % 687 / 852 78.8 % 78 / 99

Generated by: LCOV version 1.12