LCOV - code coverage report
Current view: top level - pbes/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 887 1116 79.5 %
Date: 2020-04-01 00:44:46 Functions: 128 174 73.6 %
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
io.cpp
83.8%83.8%
83.8 % 124 / 148 88.2 % 15 / 17
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

Generated by: LCOV version 1.13