LCOV - code coverage report
Current view: top level - lps/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 4812 6091 79.0 %
Date: 2020-04-01 00:44:46 Functions: 339 398 85.2 %
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.7%82.7%
82.7 % 4037 / 4883 94.5 % 242 / 256
lps.cpp
64.4%64.4%
64.4 % 58 / 90 67.3 % 35 / 52
lps_io.cpp
90.7%90.7%
90.7 % 98 / 108 88.2 % 15 / 17
lpsparunfoldlib.cpp
80.5%80.5%
80.5 % 347 / 431 95.7 % 22 / 23
next_state_generator.cpp
92.8%92.8%
92.8 % 270 / 291 95.5 % 21 / 22
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

Generated by: LCOV version 1.13