LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 66338 85224 77.8 %
Date: 2019-04-26 00:50:55 Functions: 26726 40508 66.0 %
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
0.0%
 0.0 % 0 / 329 0.0 % 0 / 60
atermpp/include/mcrl2/atermpp
98.0%98.0%
 98.0 % 501 / 511 79.0 % 1489 / 1885
atermpp/include/mcrl2/atermpp/detail
85.6%85.6%
 85.6 % 943 / 1102 69.2 % 3155 / 4558
atermpp/source
89.2%89.2%
 89.2 % 496 / 556 94.9 % 74 / 78
atermpp/test
97.3%97.3%
 97.3 % 575 / 591 98.3 % 114 / 116
bes/include/mcrl2/bes
84.7%84.7%
 84.7 % 912 / 1077 81.7 % 281 / 344
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 % 532 / 540 100.0 % 81 / 81
core/include/mcrl2/core
81.0%81.0%
 81.0 % 272 / 336 48.5 % 4536 / 9358
core/include/mcrl2/core/detail
76.1%76.1%
 76.1 % 2542 / 3340 93.3 % 786 / 842
core/source
69.7%69.7%
 69.7 % 375 / 538 56.1 % 23 / 41
core/test
96.2%96.2%
 96.2 % 25 / 26 100.0 % 8 / 8
data/include/mcrl2/data
89.9%89.9%
 89.9 % 9439 / 10500 64.3 % 3622 / 5630
data/include/mcrl2/data/detail
83.2%83.2%
 83.2 % 510 / 613 83.0 % 171 / 206
data/include/mcrl2/data/detail/prover
25.9%25.9%
 25.9 % 292 / 1126 32.6 % 47 / 144
data/include/mcrl2/data/detail/rewrite
79.7%79.7%
 79.7 % 404 / 507 92.6 % 137 / 148
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
87.4%87.4%
 87.4 % 236 / 270 88.2 % 75 / 85
data/source
72.4%72.4%
 72.4 % 1889 / 2608 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 % 1572 / 1883 88.6 % 140 / 158
data/test
95.9%95.9%
 95.9 % 4238 / 4419 98.2 % 696 / 709
gui/include/mcrl2/gui
0.0%
 0.0 % 0 / 30 0.0 % 0 / 28
gui/source
0.0%
 0.0 % 0 / 195 0.0 % 0 / 30
lps/include/mcrl2/lps
88.4%88.4%
 88.4 % 3230 / 3652 86.4 % 1023 / 1184
lps/include/mcrl2/lps/detail
78.6%78.6%
 78.6 % 441 / 561 74.4 % 87 / 117
lps/source
77.9%77.9%
 77.9 % 4602 / 5904 84.8 % 313 / 369
lps/test
96.7%96.7%
 96.7 % 2166 / 2241 99.8 % 450 / 451
lts/include/mcrl2/lts
88.3%88.3%
 88.3 % 965 / 1093 81.2 % 293 / 361
lts/include/mcrl2/lts/detail
87.4%87.4%
 87.4 % 3084 / 3528 80.0 % 565 / 706
lts/source
75.3%75.3%
 75.3 % 3600 / 4780 67.5 % 281 / 416
lts/test
99.0%99.0%
 99.0 % 1330 / 1344 100.0 % 163 / 163
modal_formula/include/mcrl2/modal_formula
71.8%71.8%
 71.8 % 3116 / 4339 56.9 % 1035 / 1819
modal_formula/include/mcrl2/modal_formula/detail
94.1%94.1%
 94.1 % 16 / 17 100.0 % 7 / 7
modal_formula/source
54.4%54.4%
 54.4 % 87 / 160 27.9 % 17 / 61
modal_formula/test
97.0%97.0%
 97.0 % 320 / 330 100.0 % 59 / 59
pbes/include/mcrl2/pbes
82.7%82.7%
 82.7 % 3904 / 4718 74.2 % 1285 / 1731
pbes/include/mcrl2/pbes/detail
61.3%61.3%
 61.3 % 2772 / 4524 43.8 % 544 / 1241
pbes/include/mcrl2/pbes/rewriters
69.1%69.1%
 69.1 % 295 / 427 69.0 % 167 / 242
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 % 735 / 933 71.1 % 108 / 152
pbes/test
96.1%96.1%
 96.1 % 2129 / 2216 99.3 % 398 / 401
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.3%79.3%
 79.3 % 3216 / 4058 64.7 % 1053 / 1627
process/include/mcrl2/process/detail
53.0%53.0%
 53.0 % 421 / 794 53.0 % 88 / 166
process/source
34.4%34.4%
 34.4 % 21 / 61 32.2 % 19 / 59
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 / 792 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
88.5%88.5%
 88.5 % 1120 / 1265 79.7 % 1905 / 2390
utilities/include/mcrl2/utilities/detail
98.3%98.3%
 98.3 % 229 / 233 78.9 % 726 / 920
utilities/source
40.2%40.2%
 40.2 % 239 / 595 66.0 % 31 / 47
utilities/test
98.7%98.7%
 98.7 % 611 / 619 99.3 % 144 / 145

Generated by: LCOV version 1.12