LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 68759 89514 76.8 %
Date: 2022-06-30 01:32:18 Functions: 26560 41304 64.3 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Directory Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
/scratch/teamcity/BuildAgent/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/RSJIGP5BFD
0.0%
0.0 % 0 / 328 0.0 % 0 / 56
/scratch/teamcity/BuildAgent/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/include
0.0%
0.0 % 0 / 16 0.0 % 0 / 8
atermpp/include/mcrl2/atermpp
97.9%97.9%
97.9 % 563 / 575 80.5 % 1312 / 1630
atermpp/include/mcrl2/atermpp/detail
88.6%88.6%
88.6 % 842 / 950 68.3 % 3018 / 4417
atermpp/source
86.3%86.3%
86.3 % 334 / 387 90.5 % 57 / 63
atermpp/test
96.8%96.8%
96.8 % 600 / 620 97.8 % 131 / 134
bes/include/mcrl2/bes
85.5%85.5%
85.5 % 846 / 990 80.1 % 261 / 326
bes/include/mcrl2/bes/detail
68.1%68.1%
68.1 % 62 / 91 73.1 % 19 / 26
bes/source
70.1%70.1%
70.1 % 164 / 234 75.7 % 28 / 37
bes/test
97.9%97.9%
97.9 % 524 / 535 100.0 % 89 / 89
core/include/mcrl2/core
84.0%84.0%
84.0 % 268 / 319 44.7 % 4080 / 9127
core/include/mcrl2/core/detail
74.3%74.3%
74.3 % 2446 / 3291 92.7 % 788 / 850
core/source
69.3%69.3%
69.3 % 375 / 541 56.1 % 23 / 41
core/test
95.0%95.0%
95.0 % 19 / 20 100.0 % 9 / 9
data/include/mcrl2/data
90.2%90.2%
90.2 % 9573 / 10614 60.1 % 3459 / 5752
data/include/mcrl2/data/detail
83.5%83.5%
83.5 % 525 / 629 83.3 % 174 / 209
data/include/mcrl2/data/detail/prover
26.7%26.7%
26.7 % 288 / 1077 32.6 % 45 / 138
data/include/mcrl2/data/detail/rewrite
78.6%78.6%
78.6 % 437 / 556 90.8 % 148 / 163
data/include/mcrl2/data/experimental
79.1%79.1%
79.1 % 739 / 934 90.6 % 145 / 160
data/include/mcrl2/data/rewriters
88.2%88.2%
88.2 % 231 / 262 100.0 % 40 / 40
data/include/mcrl2/data/substitutions
87.8%87.8%
87.8 % 244 / 278 88.6 % 78 / 88
data/source
74.5%74.5%
74.5 % 2120 / 2844 69.4 % 136 / 196
data/source/detail/prover
1.8%1.8%
1.8 % 1 / 56 25.0 % 2 / 8
data/source/detail/rewrite
83.1%83.1%
83.1 % 1675 / 2016 89.2 % 140 / 157
data/test
95.9%95.9%
95.9 % 4114 / 4290 98.4 % 745 / 757
gui/include/mcrl2/gui
0.0%
0.0 % 0 / 32 0.0 % 0 / 33
gui/source
0.0%
0.0 % 0 / 423 0.0 % 0 / 50
lps/include/mcrl2/lps
84.3%84.3%
84.3 % 3575 / 4242 78.9 % 1088 / 1379
lps/include/mcrl2/lps/detail
80.7%80.7%
80.7 % 480 / 595 75.6 % 93 / 123
lps/source
80.2%80.2%
80.2 % 4750 / 5924 86.8 % 341 / 393
lps/test
96.6%96.6%
96.6 % 2137 / 2212 99.8 % 476 / 477
lts/include/mcrl2/lts
77.2%77.2%
77.2 % 1609 / 2084 71.1 % 440 / 619
lts/include/mcrl2/lts/detail
87.7%87.7%
87.7 % 4942 / 5635 84.7 % 716 / 845
lts/source
68.6%68.6%
68.6 % 2181 / 3179 65.8 % 150 / 228
lts/test
96.5%96.5%
96.5 % 1576 / 1633 99.0 % 205 / 207
modal_formula/include/mcrl2/modal_formula
65.0%65.0%
65.0 % 2894 / 4451 52.1 % 890 / 1708
modal_formula/include/mcrl2/modal_formula/detail
94.1%94.1%
94.1 % 16 / 17 100.0 % 7 / 7
modal_formula/source
54.0%54.0%
54.0 % 102 / 189 27.7 % 18 / 65
modal_formula/test
97.0%97.0%
97.0 % 319 / 329 100.0 % 60 / 60
pbes/include/mcrl2/pbes
82.8%82.8%
82.8 % 4193 / 5061 71.6 % 1174 / 1639
pbes/include/mcrl2/pbes/detail
60.7%60.7%
60.7 % 2778 / 4573 43.7 % 540 / 1237
pbes/include/mcrl2/pbes/rewriters
67.7%67.7%
67.7 % 291 / 430 67.1 % 149 / 222
pbes/include/mcrl2/pbes/tools
4.2%4.2%
4.2 % 8 / 192 37.5 % 6 / 16
pbes/source
79.5%79.5%
79.5 % 887 / 1116 73.6 % 128 / 174
pbes/test
95.0%95.0%
95.0 % 2296 / 2417 96.5 % 445 / 461
pg/include/mcrl2/pg
0.0%
0.0 % 0 / 485 0.0 % 0 / 192
pg/source
0.0%
0.0 % 0 / 1768 0.0 % 0 / 194
process/include/mcrl2/process
68.7%68.7%
68.7 % 2787 / 4054 54.5 % 795 / 1458
process/include/mcrl2/process/detail
54.5%54.5%
54.5 % 426 / 781 56.4 % 93 / 165
process/source
63.7%63.7%
63.7 % 72 / 113 37.5 % 24 / 64
process/test
95.9%95.9%
95.9 % 683 / 712 99.5 % 181 / 182
smt/include/mcrl2/smt
0.0%
0.0 % 0 / 698 0.0 % 0 / 94
smt/source
0.0%
0.0 % 0 / 227 0.0 % 0 / 18
symbolic/include/mcrl2/symbolic
42.3%42.3%
42.3 % 105 / 248 42.5 % 17 / 40
symbolic/source
76.5%76.5%
76.5 % 65 / 85 94.1 % 16 / 17
symbolic/test
100.0%
100.0 % 17 / 17 100.0 % 6 / 6
utilities/include/mcrl2/utilities
86.9%86.9%
86.9 % 1140 / 1312 84.2 % 960 / 1140
utilities/include/mcrl2/utilities/detail
98.4%98.4%
98.4 % 439 / 446 78.1 % 2403 / 3078
utilities/source
46.5%46.5%
46.5 % 322 / 692 71.9 % 46 / 64
utilities/test
98.5%98.5%
98.5 % 679 / 689 98.8 % 166 / 168

Generated by: LCOV version 1.13