LCOV - code coverage report
Current view: top level - lps/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 4602 5904 77.9 %
Date: 2019-05-22 00:50:25 Functions: 313 369 84.8 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
linearise.cpp
82.3%82.3%
82.3 % 3977 / 4831 94.8 % 236 / 249
lps.cpp
56.5%56.5%
56.5 % 35 / 62 66.0 % 31 / 47
lpsparunfoldlib.cpp
80.6%80.6%
80.6 % 357 / 443 95.7 % 22 / 23
next_state_generator.cpp
81.6%81.6%
81.6 % 231 / 283 90.9 % 20 / 22
simulation.cpp
0.6%0.6%
0.6 % 1 / 159 13.3 % 2 / 15
tools.cpp
0.8%0.8%
0.8 % 1 / 126 15.4 % 2 / 13

Generated by: LCOV version 1.12