LCOV - code coverage report
Current view: top level - lps/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 4724 5994 78.8 %
Date: 2020-01-17 00:44:36 Functions: 324 381 85.0 %
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 % 4035 / 4881 94.5 % 242 / 256
lps.cpp
64.8%64.8%
64.8 % 59 / 91 67.3 % 35 / 52
lpsparunfoldlib.cpp
80.8%80.8%
80.8 % 358 / 443 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