LCOV - code coverage report
Current view: top level - lts/source Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2123 2998 70.8 %
Date: 2019-09-14 00:54:39 Functions: 134 204 65.7 %
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
2.0%2.0%
2.0 % 1 / 50 33.3 % 2 / 6
liblts.cpp
7.9%7.9%
7.9 % 7 / 89 33.3 % 6 / 18
exploration.cpp
43.2%43.2%
43.2 % 303 / 701 45.2 % 19 / 42
sim_hashtable.cpp
65.1%65.1%
65.1 % 108 / 166 86.4 % 19 / 22
liblts_aut.cpp
71.8%71.8%
71.8 % 196 / 273 79.2 % 19 / 24
tree_set.cpp
82.9%82.9%
82.9 % 87 / 105 93.8 % 15 / 16
liblts_lts.cpp
83.6%83.6%
83.6 % 122 / 146 83.3 % 20 / 24
liblts_fsm.cpp
85.1%85.1%
85.1 % 80 / 94 92.3 % 12 / 13
liblts_bisim_gjkw.cpp
88.7%88.7%
88.7 % 1218 / 1373 54.1 % 20 / 37
check_complexity.cpp
100.0%
100.0 % 1 / 1 100.0 % 2 / 2

Generated by: LCOV version 1.12