LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 70577 91645 77.0 %
Date: 2022-12-06 16:11:12 Functions: 32179 59644 54.0 %
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/include/mcrl2/atermpp
97.9%97.9%
97.9 % 611 / 624 55.6 % 1926 / 3462
atermpp/include/mcrl2/atermpp/detail
91.1%91.1%
91.1 % 1263 / 1387 42.1 % 7011 / 16656
atermpp/include/mcrl2/atermpp/standard_containers
92.0%92.0%
92.0 % 81 / 88 77.0 % 77 / 100
atermpp/source
86.5%86.5%
86.5 % 360 / 416 92.5 % 62 / 67
atermpp/test
96.7%96.7%
96.7 % 617 / 638 97.8 % 136 / 139
bes/include/mcrl2/bes
84.1%84.1%
84.1 % 860 / 1023 78.0 % 266 / 341
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 44.3 % 4072 / 9198
core/include/mcrl2/core/detail
74.4%74.4%
74.4 % 2444 / 3285 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/include/mcrl2/data
89.8%89.8%
89.8 % 9783 / 10890 46.4 % 3873 / 8355
data/include/mcrl2/data/detail
82.7%82.7%
82.7 % 527 / 637 83.1 % 177 / 213
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
85.9%85.9%
85.9 % 255 / 297 100.0 % 40 / 40
data/include/mcrl2/data/substitutions
84.6%84.6%
84.6 % 264 / 312 86.2 % 81 / 94
data/source
75.9%75.9%
75.9 % 2158 / 2842 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.5%81.5%
81.5 % 1802 / 2212 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 / 423 0.0 % 0 / 50
lps/include/mcrl2/lps
84.4%84.4%
84.4 % 3766 / 4461 77.8 % 1170 / 1503
lps/include/mcrl2/lps/detail
80.7%80.7%
80.7 % 482 / 597 76.0 % 95 / 125
lps/source
80.2%80.2%
80.2 % 4754 / 5928 86.6 % 342 / 395
lps/test
96.6%96.6%
96.6 % 2137 / 2212 99.8 % 476 / 477
lts/include/mcrl2/lts
77.1%77.1%
77.1 % 1609 / 2087 71.1 % 440 / 619
lts/include/mcrl2/lts/detail
87.7%87.7%
87.7 % 4942 / 5635 84.7 % 716 / 845
lts/source
68.6%68.6%
68.6 % 2181 / 3179 65.2 % 150 / 230
lts/test
96.5%96.5%
96.5 % 1576 / 1633 99.0 % 205 / 207
modal_formula/include/mcrl2/modal_formula
65.6%65.6%
65.6 % 3062 / 4667 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.9%83.9%
83.9 % 4390 / 5232 65.0 % 1364 / 2098
pbes/include/mcrl2/pbes/detail
61.0%61.0%
61.0 % 2813 / 4615 43.8 % 541 / 1236
pbes/include/mcrl2/pbes/rewriters
69.1%69.1%
69.1 % 404 / 585 65.7 % 165 / 251
pbes/include/mcrl2/pbes/tools
4.2%4.2%
4.2 % 8 / 192 37.5 % 6 / 16
pbes/source
79.1%79.1%
79.1 % 876 / 1107 73.4 % 127 / 173
pbes/test
96.3%96.3%
96.3 % 2163 / 2247 99.3 % 414 / 417
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
69.4%69.4%
69.4 % 2914 / 4197 50.9 % 1008 / 1981
process/include/mcrl2/process/detail
54.3%54.3%
54.3 % 430 / 792 56.4 % 93 / 165
process/source
63.7%63.7%
63.7 % 72 / 113 37.5 % 24 / 64
process/test
95.9%95.9%
95.9 % 683 / 712 99.5 % 181 / 182
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
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/include/mcrl2/utilities
87.9%87.9%
87.9 % 1190 / 1354 86.7 % 939 / 1083
utilities/include/mcrl2/utilities/detail
91.5%91.5%
91.5 % 546 / 597 74.4 % 2144 / 2882
utilities/source
46.4%46.4%
46.4 % 322 / 694 71.9 % 46 / 64
utilities/test
98.5%98.5%
98.5 % 679 / 689 98.8 % 166 / 168

Generated by: LCOV version 1.13