LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 66308 85480 77.6 %
Date: 2019-12-06 00:44:02 Functions: 25770 38959 66.1 %
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/RSJIGP5BFD
0.0%
0.0 % 0 / 329 0.0 % 0 / 56
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/include
0.0%
0.0 % 0 / 16 0.0 % 0 / 8
atermpp/include/mcrl2/atermpp
98.6%98.6%
98.6 % 501 / 508 81.2 % 1328 / 1636
atermpp/include/mcrl2/atermpp/detail
86.7%86.7%
86.7 % 832 / 960 70.4 % 3010 / 4273
atermpp/source
85.9%85.9%
85.9 % 323 / 376 91.5 % 54 / 59
atermpp/test
97.1%97.1%
97.1 % 532 / 548 98.4 % 124 / 126
bes/include/mcrl2/bes
85.7%85.7%
85.7 % 841 / 981 79.8 % 257 / 322
bes/include/mcrl2/bes/detail
71.3%71.3%
71.3 % 72 / 101 75.0 % 21 / 28
bes/source
65.8%65.8%
65.8 % 133 / 202 72.7 % 24 / 33
bes/test
97.9%97.9%
97.9 % 524 / 535 100.0 % 89 / 89
core/include/mcrl2/core
80.9%80.9%
80.9 % 266 / 329 47.2 % 4206 / 8918
core/include/mcrl2/core/detail
74.3%74.3%
74.3 % 2542 / 3423 92.5 % 789 / 853
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.6%89.6%
89.6 % 9246 / 10317 64.2 % 3427 / 5337
data/include/mcrl2/data/detail
83.1%83.1%
83.1 % 505 / 608 82.9 % 170 / 205
data/include/mcrl2/data/detail/prover
26.6%26.6%
26.6 % 286 / 1074 33.6 % 47 / 140
data/include/mcrl2/data/detail/rewrite
79.7%79.7%
79.7 % 405 / 508 92.6 % 137 / 148
data/include/mcrl2/data/experimental
79.1%79.1%
79.1 % 739 / 934 90.6 % 145 / 160
data/include/mcrl2/data/rewriters
90.7%90.7%
90.7 % 136 / 150 100.0 % 21 / 21
data/include/mcrl2/data/substitutions
87.6%87.6%
87.6 % 241 / 275 88.4 % 76 / 86
data/source
73.6%73.6%
73.6 % 2099 / 2850 66.5 % 129 / 194
data/source/detail/prover
1.8%1.8%
1.8 % 1 / 56 25.0 % 2 / 8
data/source/detail/rewrite
83.3%83.3%
83.3 % 1566 / 1881 88.6 % 140 / 158
data/test
95.9%95.9%
95.9 % 4085 / 4261 98.4 % 740 / 752
gui/include/mcrl2/gui
0.0%
0.0 % 0 / 32 0.0 % 0 / 33
gui/source
0.0%
0.0 % 0 / 367 0.0 % 0 / 46
lps/include/mcrl2/lps
88.0%88.0%
88.0 % 3201 / 3636 85.7 % 951 / 1110
lps/include/mcrl2/lps/detail
78.6%78.6%
78.6 % 440 / 560 74.4 % 87 / 117
lps/source
78.8%78.8%
78.8 % 4724 / 5994 85.0 % 324 / 381
lps/test
96.6%96.6%
96.6 % 2105 / 2180 99.8 % 470 / 471
lts/include/mcrl2/lts
88.7%88.7%
88.7 % 1030 / 1161 82.8 % 288 / 348
lts/include/mcrl2/lts/detail
87.7%87.7%
87.7 % 4677 / 5330 84.9 % 701 / 826
lts/source
70.5%70.5%
70.5 % 2074 / 2942 65.7 % 134 / 204
lts/test
99.0%99.0%
99.0 % 1354 / 1368 100.0 % 165 / 165
modal_formula/include/mcrl2/modal_formula
70.8%70.8%
70.8 % 3032 / 4283 55.0 % 903 / 1641
modal_formula/include/mcrl2/modal_formula/detail
94.1%94.1%
94.1 % 16 / 17 100.0 % 7 / 7
modal_formula/source
54.5%54.5%
54.5 % 103 / 189 29.2 % 19 / 65
modal_formula/test
97.0%97.0%
97.0 % 319 / 329 100.0 % 60 / 60
pbes/include/mcrl2/pbes
84.0%84.0%
84.0 % 3993 / 4753 73.5 % 1125 / 1531
pbes/include/mcrl2/pbes/detail
60.9%60.9%
60.9 % 2794 / 4590 43.7 % 541 / 1238
pbes/include/mcrl2/pbes/rewriters
68.3%68.3%
68.3 % 291 / 426 67.3 % 148 / 220
pbes/include/mcrl2/pbes/tools
4.4%4.4%
4.4 % 8 / 181 40.0 % 6 / 15
pbes/source
79.8%79.8%
79.8 % 835 / 1047 73.7 % 123 / 167
pbes/test
96.1%96.1%
96.1 % 2144 / 2231 99.3 % 410 / 413
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
74.9%74.9%
74.9 % 2983 / 3983 61.2 % 871 / 1423
process/include/mcrl2/process/detail
63.6%63.6%
63.6 % 497 / 781 65.5 % 108 / 165
process/source
64.0%64.0%
64.0 % 73 / 114 36.9 % 24 / 65
process/test
95.8%95.8%
95.8 % 662 / 691 99.4 % 176 / 177
smt/include/mcrl2/smt
0.0%
0.0 % 0 / 699 0.0 % 0 / 94
smt/source
0.0%
0.0 % 0 / 227 0.0 % 0 / 18
trace/include/mcrl2/trace
63.5%63.5%
63.5 % 139 / 219 76.7 % 23 / 30
trace/test
87.7%87.7%
87.7 % 50 / 57 100.0 % 11 / 11
utilities/include/mcrl2/utilities
85.8%85.8%
85.8 % 1079 / 1257 86.7 % 774 / 893
utilities/include/mcrl2/utilities/detail
98.6%98.6%
98.6 % 417 / 423 77.9 % 2141 / 2747
utilities/source
46.5%46.5%
46.5 % 320 / 688 71.9 % 46 / 64
utilities/test
98.5%98.5%
98.5 % 679 / 689 98.8 % 166 / 168

Generated by: LCOV version 1.13