LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 67208 87627 76.7 %
Date: 2021-04-15 00:46:37 Functions: 26000 40650 64.0 %
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/include
0.0%
0.0 % 0 / 16 0.0 % 0 / 8
gui/include/mcrl2/gui
0.0%
0.0 % 0 / 32 0.0 % 0 / 33
smt/source
0.0%
0.0 % 0 / 227 0.0 % 0 / 18
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/RSJIGP5BFD
0.0%
0.0 % 0 / 328 0.0 % 0 / 56
gui/source
0.0%
0.0 % 0 / 423 0.0 % 0 / 50
pg/include/mcrl2/pg
0.0%
0.0 % 0 / 485 0.0 % 0 / 192
smt/include/mcrl2/smt
0.0%
0.0 % 0 / 698 0.0 % 0 / 94
pg/source
0.0%
0.0 % 0 / 1768 0.0 % 0 / 194
data/source/detail/prover
1.8%1.8%
1.8 % 1 / 56 25.0 % 2 / 8
pbes/include/mcrl2/pbes/tools
4.2%4.2%
4.2 % 8 / 192 37.5 % 6 / 16
data/include/mcrl2/data/detail/prover
26.7%26.7%
26.7 % 288 / 1077 32.6 % 45 / 138
utilities/source
46.5%46.5%
46.5 % 322 / 692 71.9 % 46 / 64
modal_formula/source
54.0%54.0%
54.0 % 102 / 189 27.7 % 18 / 65
process/include/mcrl2/process/detail
54.5%54.5%
54.5 % 426 / 781 56.4 % 93 / 165
pbes/include/mcrl2/pbes/detail
60.7%60.7%
60.7 % 2778 / 4573 43.7 % 540 / 1237
trace/include/mcrl2/trace
61.8%61.8%
61.8 % 144 / 233 72.7 % 24 / 33
process/source
64.0%64.0%
64.0 % 73 / 114 38.5 % 25 / 65
modal_formula/include/mcrl2/modal_formula
64.6%64.6%
64.6 % 2821 / 4370 51.7 % 873 / 1688
pbes/include/mcrl2/pbes/rewriters
67.7%67.7%
67.7 % 291 / 430 67.1 % 149 / 222
bes/include/mcrl2/bes/detail
68.1%68.1%
68.1 % 62 / 91 73.1 % 19 / 26
process/include/mcrl2/process
68.8%68.8%
68.8 % 2799 / 4066 54.8 % 805 / 1468
core/source
69.3%69.3%
69.3 % 375 / 541 56.1 % 23 / 41
bes/source
70.1%70.1%
70.1 % 164 / 234 75.7 % 28 / 37
lts/source
71.7%71.7%
71.7 % 2156 / 3008 69.5 % 148 / 213
core/include/mcrl2/core/detail
74.4%74.4%
74.4 % 2436 / 3274 91.7 % 738 / 805
data/source
74.7%74.7%
74.7 % 2149 / 2875 68.7 % 134 / 195
lts/include/mcrl2/lts
76.6%76.6%
76.6 % 1370 / 1789 70.4 % 406 / 577
data/include/mcrl2/data/detail/rewrite
76.9%76.9%
76.9 % 405 / 527 89.5 % 137 / 153
lps/source
78.8%78.8%
78.8 % 4742 / 6017 84.6 % 340 / 402
data/include/mcrl2/data/experimental
79.1%79.1%
79.1 % 739 / 934 90.6 % 145 / 160
pbes/source
79.5%79.5%
79.5 % 887 / 1116 73.6 % 128 / 174
lps/include/mcrl2/lps/detail
80.7%80.7%
80.7 % 480 / 595 75.6 % 93 / 123
core/include/mcrl2/core
80.9%80.9%
80.9 % 258 / 319 44.3 % 4094 / 9247
data/include/mcrl2/data/detail
83.0%83.0%
83.0 % 504 / 607 82.9 % 170 / 205
pbes/include/mcrl2/pbes
83.7%83.7%
83.7 % 4005 / 4787 72.4 % 1142 / 1577
data/source/detail/rewrite
84.2%84.2%
84.2 % 1611 / 1914 91.5 % 140 / 153
lps/include/mcrl2/lps
84.5%84.5%
84.5 % 3528 / 4174 78.7 % 1080 / 1372
bes/include/mcrl2/bes
85.4%85.4%
85.4 % 819 / 959 79.9 % 254 / 318
atermpp/source
86.2%86.2%
86.2 % 330 / 383 90.2 % 55 / 61
atermpp/include/mcrl2/atermpp/detail
86.3%86.3%
86.3 % 849 / 984 67.6 % 2946 / 4356
utilities/include/mcrl2/utilities
86.5%86.5%
86.5 % 1092 / 1262 83.6 % 882 / 1055
lts/include/mcrl2/lts/detail
87.0%87.0%
87.0 % 4919 / 5654 84.7 % 712 / 841
data/include/mcrl2/data/substitutions
87.6%87.6%
87.6 % 241 / 275 88.5 % 77 / 87
trace/test
87.7%87.7%
87.7 % 50 / 57 100.0 % 11 / 11
data/include/mcrl2/data/rewriters
88.2%88.2%
88.2 % 231 / 262 100.0 % 40 / 40
data/include/mcrl2/data
89.9%89.9%
89.9 % 9255 / 10294 61.2 % 3385 / 5527
modal_formula/include/mcrl2/modal_formula/detail
94.1%94.1%
94.1 % 16 / 17 100.0 % 7 / 7
core/test
95.0%95.0%
95.0 % 19 / 20 100.0 % 9 / 9
data/test
95.9%95.9%
95.9 % 4113 / 4289 98.4 % 745 / 757
process/test
95.9%95.9%
95.9 % 680 / 709 99.4 % 179 / 180
pbes/test
96.1%96.1%
96.1 % 2145 / 2232 99.3 % 410 / 413
lps/test
96.6%96.6%
96.6 % 2128 / 2203 99.8 % 474 / 475
modal_formula/test
97.0%97.0%
97.0 % 319 / 329 100.0 % 60 / 60
atermpp/test
97.1%97.1%
97.1 % 539 / 555 98.4 % 126 / 128
bes/test
97.9%97.9%
97.9 % 524 / 535 100.0 % 89 / 89
atermpp/include/mcrl2/atermpp
98.5%98.5%
98.5 % 524 / 532 80.9 % 1279 / 1580
utilities/test
98.5%98.5%
98.5 % 679 / 689 98.8 % 166 / 168
utilities/include/mcrl2/utilities/detail
98.6%98.6%
98.6 % 435 / 441 76.6 % 2328 / 3038
lts/test
98.8%98.8%
98.8 % 1377 / 1394 99.4 % 175 / 176

Generated by: LCOV version 1.13