LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 67328 87030 77.4 %
Date: 2020-04-01 00:44:46 Functions: 26310 40667 64.7 %
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/buildAgent1/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/RSJIGP5BFD
0.0%
0.0 % 0 / 329 0.0 % 0 / 56
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/include
0.0%
0.0 % 0 / 16 0.0 % 0 / 8
atermpp/include/mcrl2/atermpp
99.1%99.1%
99.1 % 526 / 531 78.5 % 1375 / 1751
atermpp/include/mcrl2/atermpp/detail
86.7%86.7%
86.7 % 832 / 960 67.6 % 2944 / 4354
atermpp/source
86.2%86.2%
86.2 % 330 / 383 90.2 % 55 / 61
atermpp/test
97.1%97.1%
97.1 % 539 / 555 98.4 % 126 / 128
bes/include/mcrl2/bes
85.4%85.4%
85.4 % 819 / 959 79.9 % 254 / 318
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
80.9%80.9%
80.9 % 258 / 319 46.2 % 4253 / 9203
core/include/mcrl2/core/detail
74.4%74.4%
74.4 % 2440 / 3278 92.0 % 766 / 833
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
89.9%89.9%
89.9 % 9247 / 10287 61.9 % 3499 / 5652
data/include/mcrl2/data/detail
83.1%83.1%
83.1 % 505 / 608 82.9 % 170 / 205
data/include/mcrl2/data/detail/prover
26.6%26.6%
26.6 % 286 / 1074 33.6 % 47 / 140
data/include/mcrl2/data/detail/rewrite
79.7%79.7%
79.7 % 405 / 508 92.6 % 137 / 148
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.6%87.6%
87.6 % 241 / 275 88.5 % 77 / 87
data/source
74.7%74.7%
74.7 % 2149 / 2875 68.7 % 134 / 195
data/source/detail/prover
1.8%1.8%
1.8 % 1 / 56 25.0 % 2 / 8
data/source/detail/rewrite
83.3%83.3%
83.3 % 1566 / 1881 88.6 % 140 / 158
data/test
95.9%95.9%
95.9 % 4105 / 4281 98.4 % 743 / 755
gui/include/mcrl2/gui
0.0%
0.0 % 0 / 32 0.0 % 0 / 33
gui/source
0.0%
0.0 % 0 / 371 0.0 % 0 / 46
lps/include/mcrl2/lps
84.8%84.8%
84.8 % 3526 / 4159 79.0 % 1081 / 1368
lps/include/mcrl2/lps/detail
78.7%78.7%
78.7 % 444 / 564 74.8 % 89 / 119
lps/source
79.0%79.0%
79.0 % 4812 / 6091 85.2 % 339 / 398
lps/test
96.6%96.6%
96.6 % 2109 / 2184 99.8 % 472 / 473
lts/include/mcrl2/lts
76.0%76.0%
76.0 % 1322 / 1740 70.3 % 402 / 572
lts/include/mcrl2/lts/detail
87.4%87.4%
87.4 % 4721 / 5399 85.0 % 704 / 828
lts/source
71.7%71.7%
71.7 % 2152 / 3002 69.5 % 148 / 213
lts/test
98.8%98.8%
98.8 % 1362 / 1379 99.4 % 169 / 170
modal_formula/include/mcrl2/modal_formula
69.4%69.4%
69.4 % 3032 / 4366 53.5 % 903 / 1689
modal_formula/include/mcrl2/modal_formula/detail
94.1%94.1%
94.1 % 16 / 17 100.0 % 7 / 7
modal_formula/source
54.5%54.5%
54.5 % 103 / 189 29.2 % 19 / 65
modal_formula/test
97.0%97.0%
97.0 % 319 / 329 100.0 % 60 / 60
pbes/include/mcrl2/pbes
83.6%83.6%
83.6 % 3997 / 4779 72.5 % 1137 / 1569
pbes/include/mcrl2/pbes/detail
60.7%60.7%
60.7 % 2777 / 4573 43.7 % 540 / 1237
pbes/include/mcrl2/pbes/rewriters
67.7%67.7%
67.7 % 291 / 430 67.0 % 148 / 221
pbes/include/mcrl2/pbes/tools
4.4%4.4%
4.4 % 8 / 182 40.0 % 6 / 15
pbes/source
79.5%79.5%
79.5 % 887 / 1116 73.6 % 128 / 174
pbes/test
96.1%96.1%
96.1 % 2145 / 2232 99.3 % 410 / 413
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
75.4%75.4%
75.4 % 3015 / 3997 61.7 % 885 / 1434
process/include/mcrl2/process/detail
63.6%63.6%
63.6 % 497 / 781 65.5 % 108 / 165
process/source
64.9%64.9%
64.9 % 74 / 114 38.5 % 25 / 65
process/test
95.8%95.8%
95.8 % 662 / 691 99.4 % 176 / 177
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
trace/include/mcrl2/trace
62.9%62.9%
62.9 % 139 / 221 74.2 % 23 / 31
trace/test
87.7%87.7%
87.7 % 50 / 57 100.0 % 11 / 11
utilities/include/mcrl2/utilities
86.3%86.3%
86.3 % 1089 / 1262 82.2 % 844 / 1027
utilities/include/mcrl2/utilities/detail
97.9%97.9%
97.9 % 417 / 426 75.6 % 2189 / 2895
utilities/source
46.5%46.5%
46.5 % 320 / 688 71.9 % 46 / 64
utilities/test
98.5%98.5%
98.5 % 679 / 689 98.8 % 166 / 168

Generated by: LCOV version 1.13