LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 71536 94431 75.8 %
Date: 2023-09-30 02:55:56 Functions: 31243 59638 52.4 %
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/mcrl2_gui_autogen/RSJIGP5BFD
0.0%
0.0 % 0 / 327 0.0 % 0 / 54
/scratch/teamcity/BuildAgent/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/include
0.0%
0.0 % 0 / 16 0.0 % 0 / 2
atermpp/example
0.0%
0.0 % 0 / 20 0.0 % 0 / 4
atermpp/include/mcrl2/atermpp
96.9%96.9%
96.9 % 602 / 621 54.2 % 1916 / 3533
atermpp/include/mcrl2/atermpp/detail
90.4%90.4%
90.4 % 1213 / 1342 41.0 % 7101 / 17328
atermpp/include/mcrl2/atermpp/standard_containers
90.5%90.5%
90.5 % 114 / 126 77.6 % 97 / 125
atermpp/include/mcrl2/atermpp/standard_containers/detail
100.0%
100.0 % 30 / 30 75.0 % 9 / 12
atermpp/source
83.8%83.8%
83.8 % 363 / 433 89.1 % 49 / 55
atermpp/test
96.9%96.9%
96.9 % 635 / 655 98.1 % 105 / 107
bes/example
0.0%
0.0 % 0 / 12 0.0 % 0 / 3
bes/include/mcrl2/bes
73.9%73.9%
73.9 % 870 / 1177 71.0 % 238 / 335
bes/include/mcrl2/bes/detail
67.8%67.8%
67.8 % 61 / 90 68.2 % 15 / 22
bes/source
66.1%66.1%
66.1 % 158 / 239 69.0 % 20 / 29
bes/test
97.7%97.7%
97.7 % 514 / 526 100.0 % 69 / 69
core/include/mcrl2/core
81.6%81.6%
81.6 % 244 / 299 43.1 % 4038 / 9360
core/include/mcrl2/core/detail
74.4%74.4%
74.4 % 2442 / 3281 92.8 % 785 / 846
core/source
29.5%29.5%
29.5 % 75 / 254 51.4 % 19 / 37
core/test
95.0%95.0%
95.0 % 19 / 20 100.0 % 5 / 5
data/example
0.0%
0.0 % 0 / 66 0.0 % 0 / 8
data/include/mcrl2/data
87.1%87.1%
87.1 % 10069 / 11563 44.2 % 3718 / 8414
data/include/mcrl2/data/detail
81.2%81.2%
81.2 % 531 / 654 82.3 % 163 / 198
data/include/mcrl2/data/detail/prover
26.2%26.2%
26.2 % 295 / 1124 31.0 % 39 / 126
data/include/mcrl2/data/detail/rewrite
73.7%73.7%
73.7 % 482 / 654 82.6 % 133 / 161
data/include/mcrl2/data/experimental
78.0%78.0%
78.0 % 736 / 944 87.7 % 121 / 138
data/include/mcrl2/data/rewriters
78.8%78.8%
78.8 % 197 / 250 100.0 % 33 / 33
data/include/mcrl2/data/substitutions
79.1%79.1%
79.1 % 234 / 296 82.5 % 66 / 80
data/source
75.9%75.9%
75.9 % 2351 / 3096 69.0 % 129 / 187
data/source/detail/prover
0.0%
0.0 % 0 / 56 0.0 % 0 / 6
data/source/detail/rewrite
80.8%80.8%
80.8 % 1886 / 2334 86.8 % 118 / 136
data/test
95.8%95.8%
95.8 % 4169 / 4353 98.4 % 688 / 699
gui/include/mcrl2/gui
0.0%
0.0 % 0 / 20 0.0 % 0 / 7
gui/source
0.0%
0.0 % 0 / 441 0.0 % 0 / 48
lps/example
0.0%
0.0 % 0 / 70 0.0 % 0 / 5
lps/include/mcrl2/lps
79.2%79.2%
79.2 % 3863 / 4879 71.3 % 1055 / 1479
lps/include/mcrl2/lps/detail
79.8%79.8%
79.8 % 463 / 580 74.6 % 85 / 114
lps/include/mcrl2/lps/rewriters
56.6%56.6%
56.6 % 43 / 76 70.0 % 7 / 10
lps/source
78.7%78.7%
78.7 % 5015 / 6375 85.9 % 322 / 375
lps/test
96.0%96.0%
96.0 % 2136 / 2224 99.8 % 420 / 421
lts/include/mcrl2/lts
76.1%76.1%
76.1 % 1684 / 2212 71.2 % 386 / 542
lts/include/mcrl2/lts/detail
87.0%87.0%
87.0 % 5170 / 5942 87.3 % 647 / 741
lts/source
75.5%75.5%
75.5 % 1882 / 2494 65.7 % 109 / 166
lts/test
96.1%96.1%
96.1 % 1537 / 1599 98.9 % 184 / 186
modal_formula/include/mcrl2/modal_formula
65.1%65.1%
65.1 % 3043 / 4674 50.7 % 1118 / 2206
modal_formula/include/mcrl2/modal_formula/detail
93.8%93.8%
93.8 % 15 / 16 100.0 % 3 / 3
modal_formula/source
53.8%53.8%
53.8 % 112 / 208 23.0 % 14 / 61
modal_formula/test
96.9%96.9%
96.9 % 313 / 323 100.0 % 50 / 50
pbes/include/mcrl2/pbes
82.4%82.4%
82.4 % 4478 / 5435 63.4 % 1248 / 1969
pbes/include/mcrl2/pbes/detail
60.3%60.3%
60.3 % 2893 / 4794 42.6 % 472 / 1109
pbes/include/mcrl2/pbes/rewriters
67.0%67.0%
67.0 % 416 / 621 64.8 % 158 / 244
pbes/include/mcrl2/pbes/tools
6.8%6.8%
6.8 % 14 / 205 16.7 % 2 / 12
pbes/source
78.3%78.3%
78.3 % 948 / 1211 72.1 % 119 / 165
pbes/test
96.0%96.0%
96.0 % 2122 / 2210 99.1 % 336 / 339
pg/example
0.0%
0.0 % 0 / 42 0.0 % 0 / 1
pg/include/mcrl2/pg
0.0%
0.0 % 0 / 469 0.0 % 0 / 149
pg/source
0.0%
0.0 % 0 / 1802 0.0 % 0 / 159
process/include/mcrl2/process
69.1%69.1%
69.1 % 2947 / 4265 49.8 % 952 / 1913
process/include/mcrl2/process/detail
53.8%53.8%
53.8 % 460 / 855 52.5 % 74 / 141
process/source
63.1%63.1%
63.1 % 70 / 111 34.4 % 21 / 61
process/test
95.1%95.1%
95.1 % 653 / 687 99.4 % 163 / 164
smt/example
0.0%
0.0 % 0 / 30 0.0 % 0 / 2
smt/include/mcrl2/smt
0.0%
0.0 % 0 / 558 0.0 % 0 / 84
smt/source
0.0%
0.0 % 0 / 228 0.0 % 0 / 14
symbolic/include/mcrl2/symbolic
13.3%13.3%
13.3 % 15 / 113 35.7 % 5 / 14
symbolic/source
75.0%75.0%
75.0 % 63 / 84 92.9 % 13 / 14
symbolic/test
100.0%
100.0 % 18 / 18 100.0 % 4 / 4
utilities/example
0.0%
0.0 % 0 / 63 0.0 % 0 / 9
utilities/include/mcrl2/utilities
79.5%79.5%
79.5 % 1284 / 1616 83.9 % 1055 / 1257
utilities/include/mcrl2/utilities/detail
95.1%95.1%
95.1 % 559 / 588 76.7 % 2376 / 3097
utilities/source
46.0%46.0%
46.0 % 336 / 730 66.7 % 36 / 54
utilities/test
98.4%98.4%
98.4 % 694 / 705 98.5 % 135 / 137

Generated by: LCOV version 1.14