LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 83803 118302 70.8 %
Date: 2024-04-13 03:38:08 Functions: 85944 145511 59.1 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Directory Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
/usr/include/boost/exception/detail
0.0%
 0.0 % 0 / 5 0.0 % 0 / 2
/usr/include/boost/range/algorithm
0.0%
 0.0 % 0 / 8 0.0 % 0 / 3
/usr/include/x86_64-linux-gnu/qt6/QtWidgets
0.0%
 0.0 % 0 / 12 0.0 % 0 / 6
pbes/example
0.0%
 0.0 % 0 / 12 0.0 % 0 / 3
/usr/include/boost/type_index
0.0%
 0.0 % 0 / 13 0.0 % 0 / 16
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/include
0.0%
 0.0 % 0 / 16 0.0 % 0 / 2
gui/include/mcrl2/gui
0.0%
 0.0 % 0 / 19 0.0 % 0 / 6
atermpp/example
0.0%
 0.0 % 0 / 20 0.0 % 0 / 4
lps/example
0.0%
 0.0 % 0 / 26 0.0 % 0 / 3
smt/example
0.0%
 0.0 % 0 / 30 0.0 % 0 / 2
pg/example
0.0%
 0.0 % 0 / 42 0.0 % 0 / 1
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/src/tools/developer/lpstransform
0.0%
 0.0 % 0 / 51 0.0 % 0 / 12
data/source/detail/prover
0.0%
 0.0 % 0 / 56 0.0 % 0 / 6
/usr/include/x86_64-linux-gnu/qt6/QtGui
0.0%
 0.0 % 0 / 68 0.0 % 0 / 41
/usr/include/boost/test/utils/iterator
0.0%
 0.0 % 0 / 104 0.0 % 0 / 21
pres/include/mcrl2/pres/tools
0.0%
 0.0 % 0 / 133 0.0 % 0 / 8
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/src/tools/developer/ltsconvertsymbolic
0.0%
 0.0 % 0 / 154 0.0 % 0 / 14
/usr/include/boost/exception
0.0%
 0.0 % 0 / 169 0.0 % 0 / 35
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/src/tools/developer/pbestransform
0.0%
 0.0 % 0 / 188 0.0 % 0 / 39
smt/source
0.0%
 0.0 % 0 / 228 0.0 % 0 / 14
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/RSJIGP5BFD
0.0%
 0.0 % 0 / 327 0.0 % 0 / 54
gui/source
0.0%
 0.0 % 0 / 438 0.0 % 0 / 48
pg/include/mcrl2/pg
0.0%
 0.0 % 0 / 469 0.0 % 0 / 149
smt/include/mcrl2/smt
0.0%
 0.0 % 0 / 558 0.0 % 0 / 84
/usr/include/x86_64-linux-gnu/qt6/QtCore
0.0%
 0.0 % 0 / 567 0.0 % 0 / 361
pg/source
0.0%
 0.0 % 0 / 1802 0.0 % 0 / 159
symbolic/include/mcrl2/symbolic
6.5%6.5%
 6.5 % 15 / 232 18.5 % 5 / 27
pbes/include/mcrl2/pbes/tools
6.8%6.8%
 6.8 % 14 / 206 16.7 % 2 / 12
/usr/include/boost
8.7%8.7%
 8.7 % 2 / 23 10.0 % 2 / 20
/usr/include/boost/test/tools/detail
18.2%18.2%
 18.2 % 4 / 22 27.9 % 87 / 312
pres/source
20.2%20.2%
 20.2 % 55 / 272 21.1 % 15 / 71
/usr/include/boost/test/utils/runtime/cla
22.9%22.9%
 22.9 % 59 / 258 52.6 % 10 / 19
data/include/mcrl2/data/detail/prover
26.2%26.2%
 26.2 % 295 / 1124 31.0 % 39 / 126
pres/include/mcrl2/pres/detail
30.8%30.8%
 30.8 % 328 / 1064 14.9 % 66 / 443
/usr/include/boost/core
31.4%31.4%
 31.4 % 11 / 35 53.8 % 35 / 65
/usr/include/boost/test/impl
34.4%34.4%
 34.4 % 1301 / 3783 38.4 % 173 / 450
pres/include/mcrl2/pres/rewriters
35.1%35.1%
 35.1 % 291 / 829 36.2 % 51 / 141
core/source
42.6%42.6%
 42.6 % 109 / 256 56.8 % 21 / 37
/usr/include/boost/test/utils/runtime
43.8%43.8%
 43.8 % 134 / 306 52.9 % 137 / 259
/usr/include/boost/bind
44.4%44.4%
 44.4 % 28 / 63 33.3 % 31 / 93
/usr/include/boost/test/output
44.8%44.8%
 44.8 % 13 / 29 62.5 % 5 / 8
utilities/source
45.8%45.8%
 45.8 % 333 / 727 66.7 % 36 / 54
pres/include/mcrl2/pres
47.0%47.0%
 47.0 % 2180 / 4643 28.7 % 526 / 1833
/usr/include/boost/test/tools/old
50.0%50.0%
 50.0 % 17 / 34 95.8 % 183 / 191
process/include/mcrl2/process/detail
53.8%53.8%
 53.8 % 460 / 855 52.5 % 74 / 141
lps/include/mcrl2/lps/rewriters
56.6%56.6%
 56.6 % 43 / 76 70.0 % 7 / 10
data/include/mcrl2/data/rewriters
57.3%57.3%
 57.3 % 197 / 344 73.3 % 33 / 45
modal_formula/source
58.5%58.5%
 58.5 % 138 / 236 22.1 % 15 / 68
/usr/include/boost/test
59.8%59.8%
 59.8 % 52 / 87 62.5 % 35 / 56
/usr/include/boost/graph/detail
59.8%59.8%
 59.8 % 67 / 112 84.3 % 43 / 51
pbes/include/mcrl2/pbes/detail
60.3%60.3%
 60.3 % 3080 / 5109 41.7 % 514 / 1232
/usr/include/boost/smart_ptr
60.3%60.3%
 60.3 % 73 / 121 57.3 % 102 / 178
/usr/include/boost/smart_ptr/detail
61.0%61.0%
 61.0 % 50 / 82 33.9 % 79 / 233
process/source
63.1%63.1%
 63.1 % 70 / 111 34.4 % 21 / 61
modal_formula/include/mcrl2/modal_formula
63.8%63.8%
 63.8 % 3522 / 5522 41.6 % 1266 / 3044
pbes/include/mcrl2/pbes/rewriters
64.0%64.0%
 64.0 % 443 / 692 60.5 % 161 / 266
/usr/include/boost/test/utils
66.1%66.1%
 66.1 % 150 / 227 72.3 % 822 / 1137
/usr/include/boost/test/tools
68.1%68.1%
 68.1 % 32 / 47 66.7 % 24 / 36
/usr/include/boost/test/tree
68.4%68.4%
 68.4 % 54 / 79 99.0 % 2829 / 2858
process/include/mcrl2/process
69.0%69.0%
 69.0 % 2954 / 4282 49.6 % 948 / 1913
/usr/include/boost/function
69.5%69.5%
 69.5 % 132 / 190 57.8 % 104 / 180
pbes/source
73.6%73.6%
 73.6 % 952 / 1294 69.8 % 118 / 169
core/include/mcrl2/core/detail
73.7%73.7%
 73.7 % 2726 / 3700 92.9 % 867 / 933
data/include/mcrl2/data/detail/rewrite
73.7%73.7%
 73.7 % 483 / 655 82.6 % 133 / 161
/usr/include/boost/test/utils/basic_cstring
74.9%74.9%
 74.9 % 128 / 171 66.7 % 38 / 57
symbolic/source
75.0%75.0%
 75.0 % 63 / 84 92.9 % 13 / 14
lts/include/mcrl2/lts
75.6%75.6%
 75.6 % 1700 / 2248 71.2 % 391 / 549
data/source
75.9%75.9%
 75.9 % 2351 / 3096 69.0 % 129 / 187
lps/include/mcrl2/lps/detail
76.1%76.1%
 76.1 % 461 / 606 71.4 % 85 / 119
lts/source
76.7%76.7%
 76.7 % 1886 / 2458 65.9 % 110 / 167
/usr/include/c++/11/bits
76.8%76.8%
 76.8 % 5482 / 7137 70.3 % 38984 / 55466
lps/include/mcrl2/lps
77.5%77.5%
 77.5 % 3862 / 4982 68.7 % 1041 / 1515
data/include/mcrl2/data/experimental
78.0%78.0%
 78.0 % 736 / 944 87.7 % 121 / 138
pbes/include/mcrl2/pbes
78.2%78.2%
 78.2 % 4897 / 6266 59.2 % 1314 / 2220
utilities/include/mcrl2/utilities
78.7%78.7%
 78.7 % 1279 / 1626 79.2 % 1058 / 1336
data/include/mcrl2/data/substitutions
79.2%79.2%
 79.2 % 236 / 298 82.7 % 67 / 81
lps/source
79.2%79.2%
 79.2 % 4796 / 6059 86.5 % 308 / 356
/usr/include/boost/algorithm/cxx11
80.0%80.0%
 80.0 % 4 / 5 100.0 % 1 / 1
/usr/include/boost/dynamic_bitset/detail
80.0%80.0%
 80.0 % 12 / 15 50.0 % 1 / 2
data/include/mcrl2/data/detail
81.1%81.1%
 81.1 % 533 / 657 74.0 % 168 / 227
data/source/detail/rewrite
82.6%82.6%
 82.6 % 1928 / 2334 89.0 % 121 / 136
/usr/include/x86_64-linux-gnu/c++/11/bits
83.3%83.3%
 83.3 % 10 / 12 100.0 % 4 / 4
atermpp/source
83.9%83.9%
 83.9 % 364 / 434 89.1 % 49 / 55
core/include/mcrl2/core
84.2%84.2%
 84.2 % 256 / 304 35.4 % 4320 / 12191
utilities/include/mcrl2/utilities/detail
85.6%85.6%
 85.6 % 559 / 653 75.6 % 2416 / 3197
data/include/mcrl2/data
85.6%85.6%
 85.6 % 10104 / 11801 40.2 % 3807 / 9465
lts/include/mcrl2/lts/detail
87.4%87.4%
 87.4 % 5515 / 6313 87.6 % 677 / 773
/usr/include/boost/test/utils/runtime/env
88.2%88.2%
 88.2 % 15 / 17 100.0 % 3 / 3
/usr/include/c++/11
88.3%88.3%
 88.3 % 401 / 454 78.2 % 3460 / 4424
atermpp/include/mcrl2/atermpp/detail
88.8%88.8%
 88.8 % 1044 / 1176 36.3 % 7458 / 20562
/usr/include/boost/range
88.9%88.9%
 88.9 % 80 / 90 92.2 % 71 / 77
pres/test
88.9%88.9%
 88.9 % 177 / 199 100.0 % 19 / 19
/usr/include/c++/11/ext
90.1%90.1%
 90.1 % 73 / 81 74.5 % 5352 / 7183
/usr/include/boost/algorithm/string/detail
90.4%90.4%
 90.4 % 75 / 83 100.0 % 26 / 26
/usr/include/boost/test/detail
90.9%90.9%
 90.9 % 10 / 11 13.6 % 3 / 22
/usr/include/boost/optional
91.4%91.4%
 91.4 % 64 / 70 66.7 % 38 / 57
/usr/include/boost/graph
93.5%93.5%
 93.5 % 86 / 92 93.8 % 45 / 48
/usr/include/boost/dynamic_bitset
93.6%93.6%
 93.6 % 103 / 110 100.0 % 32 / 32
modal_formula/include/mcrl2/modal_formula/detail
93.8%93.8%
 93.8 % 15 / 16 100.0 % 3 / 3
/usr/include/boost/iterator
94.4%94.4%
 94.4 % 67 / 71 83.3 % 220 / 264
core/test
95.0%95.0%
 95.0 % 19 / 20 100.0 % 5 / 5
process/test
95.1%95.1%
 95.1 % 653 / 687 99.4 % 163 / 164
atermpp/include/mcrl2/atermpp/standard_containers
95.8%95.8%
 95.8 % 113 / 118 91.2 % 103 / 113
data/test
95.8%95.8%
 95.8 % 4169 / 4353 98.4 % 688 / 699
/usr/include/boost/algorithm/string
96.0%96.0%
 96.0 % 97 / 101 100.0 % 23 / 23
pbes/test
96.1%96.1%
 96.1 % 2432 / 2531 99.2 % 377 / 380
lts/test
96.2%96.2%
 96.2 % 1588 / 1650 99.0 % 189 / 191
atermpp/include/mcrl2/atermpp
96.6%96.6%
 96.6 % 590 / 611 48.7 % 1990 / 4084
atermpp/test
97.0%97.0%
 97.0 % 636 / 656 98.1 % 105 / 107
lps/test
97.1%97.1%
 97.1 % 2148 / 2213 99.8 % 479 / 480
modal_formula/test
97.2%97.2%
 97.2 % 341 / 351 100.0 % 58 / 58
utilities/test
97.2%97.2%
 97.2 % 634 / 652 97.6 % 120 / 123
/usr/include/boost/move
100.0%
 100.0 % 2 / 2 - 0 / 0
/usr/include/boost/type_traits
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2
/usr/include/boost/range/detail
100.0%
 100.0 % 9 / 9 100.0 % 3 / 3
/usr/include/boost/optional/detail
100.0%
 100.0 % 10 / 10 66.7 % 12 / 18
/usr/include/boost/property_map
100.0%
 100.0 % 11 / 11 100.0 % 6 / 6
/usr/include/boost/pending
100.0%
 100.0 % 12 / 12 100.0 % 6 / 6
/usr/include/boost/io
100.0%
 100.0 % 13 / 13 100.0 % 3 / 3
/usr/include/boost/range/adaptor
100.0%
 100.0 % 13 / 13 100.0 % 5 / 5
/usr/include/boost/tuple/detail
100.0%
 100.0 % 17 / 17 100.0 % 20 / 20
symbolic/test
100.0%
 100.0 % 18 / 18 100.0 % 4 / 4
atermpp/include/mcrl2/atermpp/standard_containers/detail
100.0%
 100.0 % 37 / 37 73.3 % 11 / 15

Generated by: LCOV version 1.14