LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 66527 85463 77.8 %
Date: 2019-07-19 02:46:18 Functions: 26749 40343 66.3 %
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 / 30 0.0 % 0 / 28
smt/include/mcrl2/smt
0.0%
0.0 % 0 / 184 0.0 % 0 / 73
gui/source
0.0%
0.0 % 0 / 190 0.0 % 0 / 29
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/build/libraries/gui
0.0%
0.0 % 0 / 329 0.0 % 0 / 60
pg/include/mcrl2/pg
0.0%
0.0 % 0 / 476 0.0 % 0 / 193
smt/source
0.0%
0.0 % 0 / 792 0.0 % 0 / 64
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
pbes/include/mcrl2/pbes/tools
4.2%4.2%
4.2 % 7 / 168 40.0 % 6 / 15
data/include/mcrl2/data/detail/prover
25.9%25.9%
25.9 % 292 / 1126 32.6 % 47 / 144
process/source
32.3%32.3%
32.3 % 20 / 62 30.0 % 18 / 60
utilities/source
40.2%40.2%
40.2 % 239 / 595 66.0 % 31 / 47
process/include/mcrl2/process/detail
53.0%53.0%
53.0 % 421 / 794 53.0 % 88 / 166
modal_formula/source
54.4%54.4%
54.4 % 87 / 160 27.9 % 17 / 61
pbes/include/mcrl2/pbes/detail
61.3%61.3%
61.3 % 2772 / 4524 43.8 % 544 / 1241
trace/include/mcrl2/trace
63.5%63.5%
63.5 % 134 / 211 76.7 % 23 / 30
pbes/include/mcrl2/pbes/rewriters
69.1%69.1%
69.1 % 295 / 427 69.0 % 167 / 242
core/source
69.7%69.7%
69.7 % 375 / 538 56.1 % 23 / 41
modal_formula/include/mcrl2/modal_formula
71.8%71.8%
71.8 % 3116 / 4339 56.9 % 1035 / 1819
bes/include/mcrl2/bes/detail
72.4%72.4%
72.4 % 76 / 105 76.7 % 23 / 30
data/source
72.4%72.4%
72.4 % 1889 / 2608 66.3 % 118 / 178
bes/source
74.4%74.4%
74.4 % 64 / 86 63.2 % 12 / 19
lts/source
75.4%75.4%
75.4 % 3724 / 4941 65.5 % 292 / 446
core/include/mcrl2/core/detail
76.1%76.1%
76.1 % 2542 / 3340 93.2 % 785 / 842
lps/source
78.3%78.3%
78.3 % 4689 / 5992 85.0 % 317 / 373
lps/include/mcrl2/lps/detail
78.6%78.6%
78.6 % 441 / 561 74.4 % 87 / 117
pbes/source
78.8%78.8%
78.8 % 735 / 933 71.1 % 108 / 152
process/include/mcrl2/process
78.8%78.8%
78.8 % 3205 / 4069 64.3 % 1050 / 1632
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
80.8%80.8%
80.8 % 269 / 333 48.5 % 4538 / 9363
pbes/include/mcrl2/pbes
82.8%82.8%
82.8 % 3907 / 4716 74.4 % 1287 / 1731
data/include/mcrl2/data/detail
83.2%83.2%
83.2 % 510 / 613 83.0 % 171 / 206
data/source/detail/rewrite
83.5%83.5%
83.5 % 1572 / 1883 88.6 % 140 / 158
bes/include/mcrl2/bes
84.7%84.7%
84.7 % 912 / 1077 81.7 % 281 / 344
atermpp/include/mcrl2/atermpp/detail
85.1%85.1%
85.1 % 931 / 1094 70.4 % 3144 / 4464
data/include/mcrl2/data/substitutions
87.4%87.4%
87.4 % 236 / 270 88.2 % 75 / 85
lts/include/mcrl2/lts/detail
87.4%87.4%
87.4 % 3126 / 3576 78.9 % 570 / 722
trace/test
87.7%87.7%
87.7 % 50 / 57 100.0 % 11 / 11
lps/include/mcrl2/lps
88.5%88.5%
88.5 % 3239 / 3661 86.4 % 1026 / 1187
lts/include/mcrl2/lts
88.6%88.6%
88.6 % 982 / 1108 81.7 % 294 / 360
utilities/include/mcrl2/utilities
88.8%88.8%
88.8 % 1162 / 1309 81.0 % 1798 / 2219
atermpp/source
89.2%89.2%
89.2 % 493 / 553 94.9 % 74 / 78
data/include/mcrl2/data
90.0%90.0%
90.0 % 9450 / 10499 64.4 % 3627 / 5631
data/include/mcrl2/data/rewriters
90.7%90.7%
90.7 % 136 / 150 100.0 % 21 / 21
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
data/test
95.9%95.9%
95.9 % 4201 / 4382 98.2 % 716 / 729
pbes/test
96.1%96.1%
96.1 % 2127 / 2214 99.3 % 400 / 403
lps/test
96.6%96.6%
96.6 % 2125 / 2200 99.8 % 465 / 466
process/test
96.7%96.7%
96.7 % 708 / 732 100.0 % 174 / 174
modal_formula/test
97.0%97.0%
97.0 % 319 / 329 100.0 % 60 / 60
atermpp/test
97.2%97.2%
97.2 % 559 / 575 98.4 % 122 / 124
atermpp/include/mcrl2/atermpp
98.0%98.0%
98.0 % 501 / 511 82.4 % 1486 / 1804
utilities/include/mcrl2/utilities/detail
98.3%98.3%
98.3 % 225 / 229 79.8 % 776 / 972
bes/test
98.5%98.5%
98.5 % 520 / 528 100.0 % 89 / 89
utilities/test
98.6%98.6%
98.6 % 627 / 636 99.4 % 154 / 155
lts/test
99.0%99.0%
99.0 % 1330 / 1344 100.0 % 158 / 158

Generated by: LCOV version 1.12