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