LCOV - code coverage report
Current view: top level - lts/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1886 2458 76.7 %
Date: 2024-04-21 03:44:01 Functions: 110 167 65.9 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
liblts_dot.cpp
0.0%
 0.0 % 0 / 53 0.0 % 0 / 4
liblts.cpp
0.0%
 0.0 % 0 / 85 0.0 % 0 / 14
simulation.cpp
0.0%
 0.0 % 0 / 129 0.0 % 0 / 13
sim_hashtable.cpp
65.1%65.1%
 65.1 % 108 / 166 86.4 % 19 / 22
liblts_aut.cpp
76.8%76.8%
 76.8 % 219 / 285 87.0 % 20 / 23
tree_set.cpp
82.7%82.7%
 82.7 % 86 / 104 92.9 % 13 / 14
liblts_lts.cpp
89.0%89.0%
 89.0 % 210 / 236 93.5 % 29 / 31
liblts_fsm.cpp
89.0%89.0%
 89.0 % 89 / 100 100.0 % 11 / 11
liblts_bisim_gjkw.cpp
90.3%90.3%
 90.3 % 1174 / 1300 51.4 % 18 / 35

Generated by: LCOV version 1.14