LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 66589 85539 77.8 %
Date: 2019-08-22 00:56:55 Functions: 26532 39744 66.8 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Directory Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
gui/include/mcrl2/gui
0.0%
0.0 % 0 / 32 0.0 % 0 / 33
gui/source
0.0%
0.0 % 0 / 368 0.0 % 0 / 46
smt/source
0.0%
0.0 % 0 / 792 0.0 % 0 / 64
/scratch/teamcity/BuildAgent/work/c1149d302b50fc7c/build/libraries/gui
0.0%
0.0 % 0 / 351 0.0 % 0 / 64
smt/include/mcrl2/smt
0.0%
0.0 % 0 / 184 0.0 % 0 / 73
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
data/source/detail/prover
1.8%1.8%
1.8 % 1 / 57 25.0 % 2 / 8
modal_formula/source
54.4%54.4%
54.4 % 87 / 160 27.9 % 17 / 61
process/source
33.9%33.9%
33.9 % 21 / 62 31.7 % 19 / 60
data/include/mcrl2/data/detail/prover
26.6%26.6%
26.6 % 285 / 1071 33.1 % 47 / 142
pbes/include/mcrl2/pbes/tools
4.2%4.2%
4.2 % 7 / 168 40.0 % 6 / 15
pbes/include/mcrl2/pbes/detail
61.2%61.2%
61.2 % 2769 / 4521 43.8 % 544 / 1241
core/include/mcrl2/core
80.8%80.8%
80.8 % 269 / 333 48.2 % 4393 / 9106
core/source
69.7%69.7%
69.7 % 375 / 538 56.1 % 23 / 41
modal_formula/include/mcrl2/modal_formula
71.3%71.3%
71.3 % 3103 / 4353 57.0 % 1036 / 1817
bes/source
74.4%74.4%
74.4 % 64 / 86 63.2 % 12 / 19
process/include/mcrl2/process
75.8%75.8%
75.8 % 3043 / 4017 64.0 % 990 / 1547
data/include/mcrl2/data
89.9%89.9%
89.9 % 9468 / 10530 65.4 % 3596 / 5500
process/include/mcrl2/process/detail
63.8%63.8%
63.8 % 503 / 789 65.5 % 108 / 165
utilities/source
40.2%40.2%
40.2 % 239 / 595 66.0 % 31 / 47
data/source
72.4%72.4%
72.4 % 1888 / 2608 66.3 % 118 / 178
pbes/include/mcrl2/pbes/rewriters
69.1%69.1%
69.1 % 295 / 427 69.0 % 167 / 242
lts/source
71.8%71.8%
71.8 % 2265 / 3156 70.2 % 165 / 235
atermpp/include/mcrl2/atermpp/detail
84.7%84.7%
84.7 % 831 / 981 70.6 % 3148 / 4456
pbes/source
78.9%78.9%
78.9 % 736 / 933 71.7 % 109 / 152
lps/include/mcrl2/lps/detail
78.6%78.6%
78.6 % 441 / 561 74.4 % 87 / 117
pbes/include/mcrl2/pbes
84.2%84.2%
84.2 % 3990 / 4736 74.9 % 1292 / 1725
trace/include/mcrl2/trace
63.5%63.5%
63.5 % 134 / 211 76.7 % 23 / 30
bes/include/mcrl2/bes/detail
72.4%72.4%
72.4 % 76 / 105 76.7 % 23 / 30
utilities/include/mcrl2/utilities/detail
98.3%98.3%
98.3 % 283 / 288 79.2 % 743 / 938
utilities/include/mcrl2/utilities
87.6%87.6%
87.6 % 1196 / 1365 81.0 % 1789 / 2208
bes/include/mcrl2/bes
84.7%84.7%
84.7 % 912 / 1077 81.7 % 281 / 344
atermpp/include/mcrl2/atermpp
98.2%98.2%
98.2 % 491 / 500 82.6 % 1483 / 1796
lts/include/mcrl2/lts
89.4%89.4%
89.4 % 990 / 1108 82.9 % 295 / 356
data/include/mcrl2/data/detail
83.2%83.2%
83.2 % 510 / 613 83.0 % 171 / 206
lts/include/mcrl2/lts/detail
87.8%87.8%
87.8 % 4710 / 5366 84.8 % 707 / 834
lps/source
78.8%78.8%
78.8 % 4711 / 5981 85.1 % 320 / 376
lps/include/mcrl2/lps
88.3%88.3%
88.3 % 3245 / 3677 86.3 % 1018 / 1180
data/include/mcrl2/data/substitutions
87.4%87.4%
87.4 % 236 / 270 88.2 % 75 / 85
data/source/detail/rewrite
83.5%83.5%
83.5 % 1571 / 1882 88.6 % 140 / 158
data/include/mcrl2/data/experimental
79.2%79.2%
79.2 % 743 / 938 90.6 % 145 / 160
data/include/mcrl2/data/detail/rewrite
79.7%79.7%
79.7 % 404 / 507 92.6 % 137 / 148
core/include/mcrl2/core/detail
76.1%76.1%
76.1 % 2542 / 3340 93.3 % 789 / 846
atermpp/source
89.2%89.2%
89.2 % 493 / 553 94.9 % 74 / 78
data/test
95.8%95.8%
95.8 % 4131 / 4310 98.3 % 730 / 743
atermpp/test
97.1%97.1%
97.1 % 529 / 545 98.3 % 117 / 119
pbes/test
96.1%96.1%
96.1 % 2127 / 2214 99.3 % 400 / 403
utilities/test
98.6%98.6%
98.6 % 636 / 645 99.4 % 155 / 156
process/test
96.0%96.0%
96.0 % 695 / 724 99.4 % 174 / 175
lps/test
96.6%96.6%
96.6 % 2121 / 2196 99.8 % 470 / 471
modal_formula/include/mcrl2/modal_formula/detail
94.1%94.1%
94.1 % 16 / 17 100.0 % 7 / 7
core/test
95.8%95.8%
95.8 % 23 / 24 100.0 % 10 / 10
trace/test
87.7%87.7%
87.7 % 50 / 57 100.0 % 11 / 11
data/include/mcrl2/data/rewriters
90.7%90.7%
90.7 % 137 / 151 100.0 % 21 / 21
modal_formula/test
97.0%97.0%
97.0 % 319 / 329 100.0 % 60 / 60
bes/test
98.5%98.5%
98.5 % 520 / 528 100.0 % 89 / 89
lts/test
99.0%99.0%
99.0 % 1358 / 1372 100.0 % 165 / 165

Generated by: LCOV version 1.12