LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 70204 91624 76.6 %
Date: 2023-03-30 19:50:40 Functions: 32270 60250 53.6 %
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 / 328 0.0 % 0 / 56
/scratch/teamcity/BuildAgent/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/include
0.0%
0.0 % 0 / 16 0.0 % 0 / 8
atermpp/example
0.0%
0.0 % 0 / 21 0.0 % 0 / 6
atermpp/include/mcrl2/atermpp
97.9%97.9%
97.9 % 613 / 626 55.4 % 1943 / 3508
atermpp/include/mcrl2/atermpp/detail
88.3%88.3%
88.3 % 1266 / 1433 41.8 % 7041 / 16832
atermpp/include/mcrl2/atermpp/standard_containers
87.6%87.6%
87.6 % 120 / 137 77.6 % 104 / 134
atermpp/include/mcrl2/atermpp/standard_containers/detail
60.0%60.0%
60.0 % 3 / 5 50.0 % 1 / 2
atermpp/source
85.6%85.6%
85.6 % 363 / 424 91.0 % 61 / 67
atermpp/test
96.7%96.7%
96.7 % 625 / 646 97.8 % 136 / 139
bes/example
0.0%
0.0 % 0 / 13 0.0 % 0 / 7
bes/include/mcrl2/bes
75.0%75.0%
75.0 % 860 / 1147 72.1 % 266 / 369
bes/include/mcrl2/bes/detail
68.1%68.1%
68.1 % 62 / 91 73.1 % 19 / 26
bes/source
67.7%67.7%
67.7 % 151 / 223 74.3 % 26 / 35
bes/test
97.9%97.9%
97.9 % 524 / 535 100.0 % 89 / 89
core/include/mcrl2/core
82.4%82.4%
82.4 % 239 / 290 43.8 % 4032 / 9198
core/include/mcrl2/core/detail
74.5%74.5%
74.5 % 2442 / 3279 92.8 % 785 / 846
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/example
0.0%
0.0 % 0 / 65 0.0 % 0 / 20
data/include/mcrl2/data
89.9%89.9%
89.9 % 9879 / 10984 46.0 % 3873 / 8420
data/include/mcrl2/data/detail
81.9%81.9%
81.9 % 502 / 613 82.9 % 175 / 211
data/include/mcrl2/data/detail/prover
26.4%26.4%
26.4 % 287 / 1088 31.2 % 45 / 144
data/include/mcrl2/data/detail/rewrite
75.0%75.0%
75.0 % 501 / 668 84.2 % 165 / 196
data/include/mcrl2/data/experimental
79.1%79.1%
79.1 % 739 / 934 90.6 % 145 / 160
data/include/mcrl2/data/rewriters
81.7%81.7%
81.7 % 187 / 229 100.0 % 33 / 33
data/include/mcrl2/data/substitutions
83.3%83.3%
83.3 % 230 / 276 86.0 % 80 / 93
data/source
75.9%75.9%
75.9 % 2157 / 2843 70.4 % 138 / 196
data/source/detail/prover
1.8%1.8%
1.8 % 1 / 56 25.0 % 2 / 8
data/source/detail/rewrite
81.4%81.4%
81.4 % 1803 / 2214 88.5 % 138 / 156
data/test
95.9%95.9%
95.9 % 4120 / 4296 98.3 % 755 / 768
gui/include/mcrl2/gui
0.0%
0.0 % 0 / 32 0.0 % 0 / 33
gui/source
0.0%
0.0 % 0 / 425 0.0 % 0 / 50
lps/example
0.0%
0.0 % 0 / 79 0.0 % 0 / 9
lps/include/mcrl2/lps
82.8%82.8%
82.8 % 3672 / 4437 74.1 % 1156 / 1561
lps/include/mcrl2/lps/detail
80.0%80.0%
80.0 % 459 / 574 75.0 % 93 / 124
lps/source
79.4%79.4%
79.4 % 4704 / 5928 85.8 % 339 / 395
lps/test
96.6%96.6%
96.6 % 2138 / 2213 99.8 % 476 / 477
lts/include/mcrl2/lts
77.3%77.3%
77.3 % 1687 / 2183 70.5 % 463 / 657
lts/include/mcrl2/lts/detail
88.7%88.7%
88.7 % 4938 / 5564 87.4 % 706 / 808
lts/source
76.1%76.1%
76.1 % 1893 / 2487 69.7 % 131 / 188
lts/test
96.5%96.5%
96.5 % 1554 / 1611 99.0 % 204 / 206
modal_formula/include/mcrl2/modal_formula
65.6%65.6%
65.6 % 3062 / 4669 51.9 % 1194 / 2302
modal_formula/include/mcrl2/modal_formula/detail
94.1%94.1%
94.1 % 16 / 17 100.0 % 7 / 7
modal_formula/source
54.0%54.0%
54.0 % 102 / 189 27.7 % 18 / 65
modal_formula/test
97.0%97.0%
97.0 % 319 / 329 100.0 % 60 / 60
pbes/include/mcrl2/pbes
83.7%83.7%
83.7 % 4377 / 5232 64.7 % 1358 / 2098
pbes/include/mcrl2/pbes/detail
61.0%61.0%
61.0 % 2823 / 4631 43.8 % 543 / 1240
pbes/include/mcrl2/pbes/rewriters
68.7%68.7%
68.7 % 402 / 585 65.7 % 165 / 251
pbes/include/mcrl2/pbes/tools
4.2%4.2%
4.2 % 8 / 192 37.5 % 6 / 16
pbes/source
78.9%78.9%
78.9 % 872 / 1105 73.4 % 127 / 173
pbes/test
96.3%96.3%
96.3 % 2166 / 2250 99.3 % 414 / 417
pg/example
0.0%
0.0 % 0 / 42 0.0 % 0 / 3
pg/include/mcrl2/pg
0.0%
0.0 % 0 / 487 0.0 % 0 / 194
pg/source
0.0%
0.0 % 0 / 1768 0.0 % 0 / 194
process/include/mcrl2/process
69.5%69.5%
69.5 % 2911 / 4190 50.9 % 1007 / 1979
process/include/mcrl2/process/detail
54.3%54.3%
54.3 % 430 / 792 56.4 % 93 / 165
process/source
62.4%62.4%
62.4 % 68 / 109 36.5 % 23 / 63
process/test
95.9%95.9%
95.9 % 683 / 712 99.5 % 181 / 182
smt/example
0.0%
0.0 % 0 / 30 0.0 % 0 / 6
smt/include/mcrl2/smt
0.0%
0.0 % 0 / 706 0.0 % 0 / 96
smt/source
0.0%
0.0 % 0 / 227 0.0 % 0 / 18
symbolic/include/mcrl2/symbolic
14.2%14.2%
14.2 % 16 / 113 27.3 % 6 / 22
symbolic/source
76.5%76.5%
76.5 % 65 / 85 94.1 % 16 / 17
symbolic/test
100.0%
100.0 % 17 / 17 100.0 % 6 / 6
utilities/example
0.0%
0.0 % 0 / 65 0.0 % 0 / 15
utilities/include/mcrl2/utilities
79.4%79.4%
79.4 % 1202 / 1514 83.1 % 998 / 1201
utilities/include/mcrl2/utilities/detail
90.5%90.5%
90.5 % 546 / 603 74.2 % 2182 / 2941
utilities/source
46.2%46.2%
46.2 % 322 / 697 71.9 % 46 / 64
utilities/test
98.6%98.6%
98.6 % 684 / 694 98.8 % 168 / 170

Generated by: LCOV version 1.13