LCOV - code coverage report
Current view: top level - lps/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 4785 6068 78.9 %
Date: 2020-09-16 00:45:56 Functions: 338 400 84.5 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
simulation.cpp
0.6%0.6%
0.6 % 1 / 160 13.3 % 2 / 15
tools.cpp
0.8%0.8%
0.8 % 1 / 128 15.4 % 2 / 13
lps.cpp
63.3%63.3%
63.3 % 57 / 90 65.4 % 34 / 52
lpsparunfoldlib.cpp
80.5%80.5%
80.5 % 347 / 431 95.7 % 22 / 23
linearise.cpp
82.5%82.5%
82.5 % 4011 / 4860 93.8 % 242 / 258
lps_io.cpp
90.7%90.7%
90.7 % 98 / 108 88.2 % 15 / 17
next_state_generator.cpp
92.8%92.8%
92.8 % 270 / 291 95.5 % 21 / 22

Generated by: LCOV version 1.13