LCOV - code coverage report
Current view: top level - lts/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 3724 4941 75.4 %
Date: 2019-07-19 02:46:18 Functions: 292 446 65.5 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
check_complexity.cpp
100.0%
 100.0 % 1 / 1 100.0 % 2 / 2
exploration.cpp
38.8%38.8%
 38.8 % 270 / 696 47.1 % 16 / 34
liblts.cpp
7.9%7.9%
 7.9 % 7 / 89 33.3 % 6 / 18
liblts_aut.cpp
69.2%69.2%
 69.2 % 189 / 273 75.0 % 18 / 24
liblts_bisim_dnj.cpp
86.6%86.6%
 86.6 % 1550 / 1790 62.6 % 137 / 219
liblts_bisim_gjkw.cpp
88.7%88.7%
 88.7 % 1218 / 1373 54.1 % 20 / 37
liblts_dot.cpp
2.0%2.0%
 2.0 % 1 / 50 33.3 % 2 / 6
liblts_fsm.cpp
73.4%73.4%
 73.4 % 69 / 94 92.3 % 12 / 13
liblts_lts.cpp
73.7%73.7%
 73.7 % 224 / 304 81.8 % 45 / 55
sim_hashtable.cpp
65.1%65.1%
 65.1 % 108 / 166 86.4 % 19 / 22
tree_set.cpp
82.9%82.9%
 82.9 % 87 / 105 93.8 % 15 / 16

Generated by: LCOV version 1.12