LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 79469 115894 68.6 %
Date: 2024-03-08 02:52:28 Functions: 81059 142264 57.0 %
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
pbes/example
0.0%
0.0 % 0 / 12 0.0 % 0 / 3
/usr/include/x86_64-linux-gnu/qt6/QtWidgets
0.0%
0.0 % 0 / 12 0.0 % 0 / 6
/usr/include/boost/type_index
0.0%
0.0 % 0 / 13 0.0 % 0 / 16
/scratch/teamcity/BuildAgent/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
/scratch/teamcity/BuildAgent/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
/scratch/teamcity/BuildAgent/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
/scratch/teamcity/BuildAgent/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
pres/source
0.0%
0.0 % 0 / 269 0.0 % 0 / 68
/scratch/teamcity/BuildAgent/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
pres/include/mcrl2/pres/rewriters
0.0%
0.0 % 0 / 802 0.0 % 0 / 140
pres/include/mcrl2/pres/detail
0.0%
0.0 % 0 / 951 0.0 % 0 / 422
pg/source
0.0%
0.0 % 0 / 1802 0.0 % 0 / 159
pres/include/mcrl2/pres
0.0%
0.0 % 0 / 3493 0.0 % 0 / 1635
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 29.2 % 87 / 298
/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
/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
core/source
42.1%42.1%
42.1 % 107 / 254 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
/usr/include/boost/test/tools/old
50.0%50.0%
50.0 % 17 / 34 100.0 % 181 / 181
modal_formula/source
52.6%52.6%
52.6 % 122 / 232 20.9 % 14 / 67
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
/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
modal_formula/include/mcrl2/modal_formula
60.1%60.1%
60.1 % 3242 / 5397 40.2 % 1159 / 2880
pbes/include/mcrl2/pbes/detail
60.2%60.2%
60.2 % 2893 / 4804 42.4 % 472 / 1112
/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
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.7 % 821 / 1130
core/include/mcrl2/core/detail
66.9%66.9%
66.9 % 2461 / 3676 85.1 % 790 / 928
/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 % 2797 / 2826
process/include/mcrl2/process
68.9%68.9%
68.9 % 2951 / 4282 49.5 % 947 / 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
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
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/include/mcrl2/lts
76.1%76.1%
76.1 % 1683 / 2211 71.1 % 388 / 546
lts/source
76.8%76.8%
76.8 % 1882 / 2451 65.7 % 109 / 166
/usr/include/c++/11/bits
76.8%76.8%
76.8 % 5471 / 7125 68.6 % 36824 / 53710
pbes/include/mcrl2/pbes
77.0%77.0%
77.0 % 4804 / 6239 58.8 % 1304 / 2216
lps/include/mcrl2/lps
77.4%77.4%
77.4 % 3851 / 4973 68.6 % 1038 / 1513
utilities/include/mcrl2/utilities
77.6%77.6%
77.6 % 1278 / 1646 77.8 % 1035 / 1331
data/include/mcrl2/data/experimental
78.0%78.0%
78.0 % 736 / 944 87.7 % 121 / 138
lps/source
79.1%79.1%
79.1 % 4791 / 6059 86.2 % 307 / 356
data/include/mcrl2/data/substitutions
79.2%79.2%
79.2 % 236 / 298 82.7 % 67 / 81
/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 72.7 % 165 / 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
core/include/mcrl2/core
83.7%83.7%
83.7 % 256 / 306 32.8 % 3922 / 11955
atermpp/source
83.9%83.9%
83.9 % 364 / 434 89.1 % 49 / 55
data/include/mcrl2/data
85.4%85.4%
85.4 % 10073 / 11790 39.2 % 3713 / 9461
/usr/include/c++/11
85.6%85.6%
85.6 % 386 / 451 75.3 % 3235 / 4299
utilities/include/mcrl2/utilities/detail
85.6%85.6%
85.6 % 559 / 653 73.6 % 2347 / 3187
lts/include/mcrl2/lts/detail
87.0%87.0%
87.0 % 5229 / 6009 87.4 % 651 / 745
/usr/include/boost/test/utils/runtime/env
88.2%88.2%
88.2 % 15 / 17 100.0 % 3 / 3
/usr/include/boost/range
88.9%88.9%
88.9 % 80 / 90 92.2 % 71 / 77
atermpp/include/mcrl2/atermpp/detail
88.8%88.8%
88.8 % 1041 / 1172 34.4 % 7008 / 20397
/usr/include/c++/11/ext
90.1%90.1%
90.1 % 73 / 81 72.5 % 5011 / 6915
atermpp/include/mcrl2/atermpp/standard_containers
90.2%90.2%
90.2 % 110 / 122 85.5 % 94 / 110
/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 77.7 % 205 / 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
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.0%96.0%
96.0 % 2387 / 2486 99.2 % 371 / 374
atermpp/include/mcrl2/atermpp
96.2%96.2%
96.2 % 588 / 611 46.6 % 1888 / 4055
lts/test
96.2%96.2%
96.2 % 1588 / 1650 99.0 % 189 / 191
atermpp/test
97.0%97.0%
97.0 % 636 / 656 98.1 % 105 / 107
modal_formula/test
97.0%97.0%
97.0 % 327 / 337 100.0 % 54 / 54
lps/test
97.1%97.1%
97.1 % 2148 / 2213 99.8 % 479 / 480
utilities/test
97.2%97.2%
97.2 % 632 / 650 97.6 % 120 / 123
/usr/include/boost/type_traits
100.0%
100.0 % 2 / 2 100.0 % 2 / 2
/usr/include/boost/move
100.0%
100.0 % 2 / 2 - 0 / 0
/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 % 30 / 30 75.0 % 9 / 12

Generated by: LCOV version 1.14