LCOV - code coverage report
Current view: top level - lps/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 4796 6059 79.2 %
Date: 2024-04-21 03:44:01 Functions: 308 356 86.5 %
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.5%82.5%
 82.5 % 4290 / 5202 95.2 % 240 / 252
lps.cpp
64.9%64.9%
 64.9 % 63 / 97 63.5 % 33 / 52
lps_io.cpp
90.4%90.4%
 90.4 % 104 / 115 86.7 % 13 / 15
lpsparunfoldlib.cpp
79.2%79.2%
 79.2 % 339 / 428 95.7 % 22 / 23
symbolic_lts_io.cpp
0.0%
 0.0 % 0 / 79 0.0 % 0 / 3
tools.cpp
0.0%
 0.0 % 0 / 138 0.0 % 0 / 11

Generated by: LCOV version 1.14