LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 65282 83965 77.7 %
Date: 2018-12-08 01:53:32 Functions: 21438 32893 65.2 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Directory Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
/storage/teamcity/TeamCity/buildAgent/work/c1149d302b50fc7c/build/libraries/gui
0.0%
0.0 % 0 / 329 0.0 % 0 / 60
atermpp/include/mcrl2/atermpp
98.3%98.3%
98.3 % 577 / 587 85.2 % 1258 / 1477
atermpp/include/mcrl2/atermpp/detail
87.5%87.5%
87.5 % 887 / 1014 84.3 % 661 / 784
atermpp/source
87.5%87.5%
87.5 % 588 / 672 95.1 % 77 / 81
atermpp/test
97.3%97.3%
97.3 % 575 / 591 98.3 % 114 / 116
bes/include/mcrl2/bes
85.6%85.6%
85.6 % 930 / 1087 83.4 % 292 / 350
bes/include/mcrl2/bes/detail
72.4%72.4%
72.4 % 76 / 105 76.7 % 23 / 30
bes/source
74.4%74.4%
74.4 % 64 / 86 63.2 % 12 / 19
bes/test
98.5%98.5%
98.5 % 533 / 541 100.0 % 81 / 81
core/include/mcrl2/core
83.5%83.5%
83.5 % 274 / 328 48.7 % 4485 / 9208
core/include/mcrl2/core/detail
75.0%75.0%
75.0 % 2355 / 3140 93.7 % 790 / 843
core/source
69.6%69.6%
69.6 % 373 / 536 56.1 % 23 / 41
core/test
96.2%96.2%
96.2 % 25 / 26 100.0 % 8 / 8
data/include/mcrl2/data
89.7%89.7%
89.7 % 9412 / 10496 64.7 % 3534 / 5460
data/include/mcrl2/data/detail
83.5%83.5%
83.5 % 516 / 618 83.2 % 173 / 208
data/include/mcrl2/data/detail/prover
25.3%25.3%
25.3 % 278 / 1098 33.1 % 47 / 142
data/include/mcrl2/data/detail/rewrite
79.6%79.6%
79.6 % 402 / 505 92.5 % 135 / 146
data/include/mcrl2/data/experimental
79.2%79.2%
79.2 % 743 / 938 90.6 % 145 / 160
data/include/mcrl2/data/rewriters
90.7%90.7%
90.7 % 136 / 150 100.0 % 21 / 21
data/include/mcrl2/data/substitutions
91.3%91.3%
91.3 % 221 / 242 90.2 % 74 / 82
data/source
72.3%72.3%
72.3 % 1882 / 2602 66.3 % 118 / 178
data/source/detail/prover
1.8%1.8%
1.8 % 1 / 57 25.0 % 2 / 8
data/source/detail/rewrite
83.5%83.5%
83.5 % 1575 / 1886 88.5 % 138 / 156
data/test
95.8%95.8%
95.8 % 4195 / 4378 98.3 % 689 / 701
gui/include/mcrl2/gui
0.0%
0.0 % 0 / 30 0.0 % 0 / 28
gui/source
0.0%
0.0 % 0 / 216 0.0 % 0 / 32
lps/include/mcrl2/lps
88.5%88.5%
88.5 % 3199 / 3614 86.7 % 1007 / 1162
lps/include/mcrl2/lps/detail
78.6%78.6%
78.6 % 441 / 561 74.4 % 87 / 117
lps/source
78.0%78.0%
78.0 % 4605 / 5901 85.2 % 312 / 366
lps/test
96.6%96.6%
96.6 % 2159 / 2236 99.8 % 448 / 449
lts/include/mcrl2/lts
88.3%88.3%
88.3 % 964 / 1092 81.2 % 293 / 361
lts/include/mcrl2/lts/detail
87.0%87.0%
87.0 % 3103 / 3566 79.7 % 568 / 713
lts/source
75.3%75.3%
75.3 % 3566 / 4736 67.4 % 283 / 420
lts/test
99.0%99.0%
99.0 % 1324 / 1338 100.0 % 161 / 161
modal_formula/include/mcrl2/modal_formula
71.6%71.6%
71.6 % 2938 / 4101 56.9 % 1026 / 1803
modal_formula/include/mcrl2/modal_formula/detail
94.1%94.1%
94.1 % 16 / 17 100.0 % 7 / 7
modal_formula/source
54.1%54.1%
54.1 % 86 / 159 26.7 % 16 / 60
modal_formula/test
97.0%97.0%
97.0 % 321 / 331 100.0 % 59 / 59
pbes/include/mcrl2/pbes
83.0%83.0%
83.0 % 3913 / 4712 75.0 % 1270 / 1693
pbes/include/mcrl2/pbes/detail
61.6%61.6%
61.6 % 2672 / 4336 44.3 % 543 / 1227
pbes/include/mcrl2/pbes/rewriters
68.4%68.4%
68.4 % 292 / 427 69.2 % 162 / 234
pbes/include/mcrl2/pbes/tools
4.2%4.2%
4.2 % 7 / 168 40.0 % 6 / 15
pbes/source
78.8%78.8%
78.8 % 733 / 930 70.7 % 106 / 150
pbes/test
96.0%96.0%
96.0 % 2096 / 2183 99.2 % 392 / 395
pg/include/mcrl2/pg
0.0%
0.0 % 0 / 476 0.0 % 0 / 193
pg/source
0.0%
0.0 % 0 / 1761 0.0 % 0 / 194
process/include/mcrl2/process
79.6%79.6%
79.6 % 3214 / 4040 65.1 % 1060 / 1629
process/include/mcrl2/process/detail
52.7%52.7%
52.7 % 418 / 793 53.0 % 88 / 166
process/source
33.3%33.3%
33.3 % 20 / 60 31.0 % 18 / 58
process/test
96.8%96.8%
96.8 % 723 / 747 100.0 % 171 / 171
smt/include/mcrl2/smt
0.0%
0.0 % 0 / 184 0.0 % 0 / 73
smt/source
0.0%
0.0 % 0 / 790 0.0 % 0 / 64
trace/include/mcrl2/trace
63.5%63.5%
63.5 % 134 / 211 76.7 % 23 / 30
trace/test
86.7%86.7%
86.7 % 52 / 60 100.0 % 9 / 9
utilities/include/mcrl2/utilities
84.9%84.9%
84.9 % 807 / 950 86.3 % 215 / 249
utilities/include/mcrl2/utilities/detail
97.7%97.7%
97.7 % 129 / 132 75.0 % 60 / 80
utilities/source
40.2%40.2%
40.2 % 239 / 595 66.0 % 31 / 47
utilities/test
98.6%98.6%
98.6 % 493 / 500 99.2 % 117 / 118

Generated by: LCOV version 1.12