LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Directory | Line Coverage | Functions | ||||
/usr/include/boost/exception/detail |
|
0.0 % | 0 / 5 | 0.0 % | 0 / 2 | |
/usr/include/boost/range/algorithm |
|
0.0 % | 0 / 8 | 0.0 % | 0 / 3 | |
pbes/example |
|
0.0 % | 0 / 12 | 0.0 % | 0 / 3 | |
/usr/include/x86_64-linux-gnu/qt6/QtWidgets |
|
0.0 % | 0 / 12 | 0.0 % | 0 / 6 | |
/usr/include/boost/type_index |
|
0.0 % | 0 / 13 | 0.0 % | 0 / 16 | |
/scratch/teamcity/BuildAgent/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/include |
|
0.0 % | 0 / 16 | 0.0 % | 0 / 2 | |
gui/include/mcrl2/gui |
|
0.0 % | 0 / 19 | 0.0 % | 0 / 6 | |
atermpp/example |
|
0.0 % | 0 / 20 | 0.0 % | 0 / 4 | |
lps/example |
|
0.0 % | 0 / 26 | 0.0 % | 0 / 3 | |
smt/example |
|
0.0 % | 0 / 30 | 0.0 % | 0 / 2 | |
pg/example |
|
0.0 % | 0 / 42 | 0.0 % | 0 / 1 | |
/scratch/teamcity/BuildAgent/work/c1149d302b50fc7c/src/tools/developer/lpstransform |
|
0.0 % | 0 / 51 | 0.0 % | 0 / 12 | |
data/source/detail/prover |
|
0.0 % | 0 / 56 | 0.0 % | 0 / 6 | |
/usr/include/x86_64-linux-gnu/qt6/QtGui |
|
0.0 % | 0 / 68 | 0.0 % | 0 / 41 | |
/usr/include/boost/test/utils/iterator |
|
0.0 % | 0 / 104 | 0.0 % | 0 / 21 | |
pres/include/mcrl2/pres/tools |
|
0.0 % | 0 / 133 | 0.0 % | 0 / 8 | |
/scratch/teamcity/BuildAgent/work/c1149d302b50fc7c/src/tools/developer/ltsconvertsymbolic |
|
0.0 % | 0 / 154 | 0.0 % | 0 / 14 | |
/usr/include/boost/exception |
|
0.0 % | 0 / 169 | 0.0 % | 0 / 35 | |
/scratch/teamcity/BuildAgent/work/c1149d302b50fc7c/src/tools/developer/pbestransform |
|
0.0 % | 0 / 188 | 0.0 % | 0 / 39 | |
smt/source |
|
0.0 % | 0 / 228 | 0.0 % | 0 / 14 | |
pres/source |
|
0.0 % | 0 / 269 | 0.0 % | 0 / 68 | |
/scratch/teamcity/BuildAgent/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/RSJIGP5BFD |
|
0.0 % | 0 / 327 | 0.0 % | 0 / 54 | |
gui/source |
|
0.0 % | 0 / 438 | 0.0 % | 0 / 48 | |
pg/include/mcrl2/pg |
|
0.0 % | 0 / 469 | 0.0 % | 0 / 149 | |
smt/include/mcrl2/smt |
|
0.0 % | 0 / 558 | 0.0 % | 0 / 84 | |
/usr/include/x86_64-linux-gnu/qt6/QtCore |
|
0.0 % | 0 / 567 | 0.0 % | 0 / 361 | |
pres/include/mcrl2/pres/rewriters |
|
0.0 % | 0 / 802 | 0.0 % | 0 / 140 | |
pres/include/mcrl2/pres/detail |
|
0.0 % | 0 / 951 | 0.0 % | 0 / 422 | |
pg/source |
|
0.0 % | 0 / 1802 | 0.0 % | 0 / 159 | |
pres/include/mcrl2/pres |
|
0.0 % | 0 / 3493 | 0.0 % | 0 / 1635 | |
symbolic/include/mcrl2/symbolic |
|
6.5 % | 15 / 232 | 18.5 % | 5 / 27 | |
pbes/include/mcrl2/pbes/tools |
|
6.8 % | 14 / 206 | 16.7 % | 2 / 12 | |
/usr/include/boost |
|
8.7 % | 2 / 23 | 10.0 % | 2 / 20 | |
/usr/include/boost/test/tools/detail |
|
18.2 % | 4 / 22 | 29.2 % | 87 / 298 | |
/usr/include/boost/test/utils/runtime/cla |
|
22.9 % | 59 / 258 | 52.6 % | 10 / 19 | |
data/include/mcrl2/data/detail/prover |
|
26.2 % | 295 / 1124 | 31.0 % | 39 / 126 | |
/usr/include/boost/core |
|
31.4 % | 11 / 35 | 53.8 % | 35 / 65 | |
/usr/include/boost/test/impl |
|
34.4 % | 1301 / 3783 | 38.4 % | 173 / 450 | |
core/source |
|
42.1 % | 107 / 254 | 56.8 % | 21 / 37 | |
/usr/include/boost/test/utils/runtime |
|
43.8 % | 134 / 306 | 52.9 % | 137 / 259 | |
/usr/include/boost/bind |
|
44.4 % | 28 / 63 | 33.3 % | 31 / 93 | |
/usr/include/boost/test/output |
|
44.8 % | 13 / 29 | 62.5 % | 5 / 8 | |
utilities/source |
|
45.8 % | 333 / 727 | 66.7 % | 36 / 54 | |
/usr/include/boost/test/tools/old |
|
50.0 % | 17 / 34 | 100.0 % | 181 / 181 | |
modal_formula/source |
|
52.6 % | 122 / 232 | 20.9 % | 14 / 67 | |
process/include/mcrl2/process/detail |
|
53.8 % | 460 / 855 | 52.5 % | 74 / 141 | |
lps/include/mcrl2/lps/rewriters |
|
56.6 % | 43 / 76 | 70.0 % | 7 / 10 | |
data/include/mcrl2/data/rewriters |
|
57.3 % | 197 / 344 | 73.3 % | 33 / 45 | |
/usr/include/boost/test |
|
59.8 % | 52 / 87 | 62.5 % | 35 / 56 | |
/usr/include/boost/graph/detail |
|
59.8 % | 67 / 112 | 84.3 % | 43 / 51 | |
modal_formula/include/mcrl2/modal_formula |
|
60.1 % | 3242 / 5397 | 40.2 % | 1159 / 2880 | |
pbes/include/mcrl2/pbes/detail |
|
60.2 % | 2893 / 4804 | 42.4 % | 472 / 1112 | |
/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 | |
process/source |
|
63.1 % | 70 / 111 | 34.4 % | 21 / 61 | |
pbes/include/mcrl2/pbes/rewriters |
|
64.0 % | 443 / 692 | 60.5 % | 161 / 266 | |
/usr/include/boost/test/utils |
|
66.1 % | 150 / 227 | 72.7 % | 821 / 1130 | |
core/include/mcrl2/core/detail |
|
66.9 % | 2461 / 3676 | 85.1 % | 790 / 928 | |
/usr/include/boost/test/tools |
|
68.1 % | 32 / 47 | 66.7 % | 24 / 36 | |
/usr/include/boost/test/tree |
|
68.4 % | 54 / 79 | 99.0 % | 2797 / 2826 | |
process/include/mcrl2/process |
|
68.9 % | 2951 / 4282 | 49.5 % | 947 / 1913 | |
/usr/include/boost/function |
|
69.5 % | 132 / 190 | 57.8 % | 104 / 180 | |
pbes/source |
|
73.6 % | 952 / 1294 | 69.8 % | 118 / 169 | |
data/include/mcrl2/data/detail/rewrite |
|
73.7 % | 483 / 655 | 82.6 % | 133 / 161 | |
/usr/include/boost/test/utils/basic_cstring |
|
74.9 % | 128 / 171 | 66.7 % | 38 / 57 | |
symbolic/source |
|
75.0 % | 63 / 84 | 92.9 % | 13 / 14 | |
data/source |
|
75.9 % | 2351 / 3096 | 69.0 % | 129 / 187 | |
lps/include/mcrl2/lps/detail |
|
76.1 % | 461 / 606 | 71.4 % | 85 / 119 | |
lts/include/mcrl2/lts |
|
76.1 % | 1683 / 2211 | 71.1 % | 388 / 546 | |
lts/source |
|
76.8 % | 1882 / 2451 | 65.7 % | 109 / 166 | |
/usr/include/c++/11/bits |
|
76.8 % | 5471 / 7125 | 68.6 % | 36824 / 53710 | |
pbes/include/mcrl2/pbes |
|
77.0 % | 4804 / 6239 | 58.8 % | 1304 / 2216 | |
lps/include/mcrl2/lps |
|
77.4 % | 3851 / 4973 | 68.6 % | 1038 / 1513 | |
utilities/include/mcrl2/utilities |
|
77.6 % | 1278 / 1646 | 77.8 % | 1035 / 1331 | |
data/include/mcrl2/data/experimental |
|
78.0 % | 736 / 944 | 87.7 % | 121 / 138 | |
lps/source |
|
79.1 % | 4791 / 6059 | 86.2 % | 307 / 356 | |
data/include/mcrl2/data/substitutions |
|
79.2 % | 236 / 298 | 82.7 % | 67 / 81 | |
/usr/include/boost/algorithm/cxx11 |
|
80.0 % | 4 / 5 | 100.0 % | 1 / 1 | |
/usr/include/boost/dynamic_bitset/detail |
|
80.0 % | 12 / 15 | 50.0 % | 1 / 2 | |
data/include/mcrl2/data/detail |
|
81.1 % | 533 / 657 | 72.7 % | 165 / 227 | |
data/source/detail/rewrite |
|
82.6 % | 1928 / 2334 | 89.0 % | 121 / 136 | |
/usr/include/x86_64-linux-gnu/c++/11/bits |
|
83.3 % | 10 / 12 | 100.0 % | 4 / 4 | |
core/include/mcrl2/core |
|
83.7 % | 256 / 306 | 32.8 % | 3922 / 11955 | |
atermpp/source |
|
83.9 % | 364 / 434 | 89.1 % | 49 / 55 | |
data/include/mcrl2/data |
|
85.4 % | 10073 / 11790 | 39.2 % | 3713 / 9461 | |
/usr/include/c++/11 |
|
85.6 % | 386 / 451 | 75.3 % | 3235 / 4299 | |
utilities/include/mcrl2/utilities/detail |
|
85.6 % | 559 / 653 | 73.6 % | 2347 / 3187 | |
lts/include/mcrl2/lts/detail |
|
87.0 % | 5229 / 6009 | 87.4 % | 651 / 745 | |
/usr/include/boost/test/utils/runtime/env |
|
88.2 % | 15 / 17 | 100.0 % | 3 / 3 | |
/usr/include/boost/range |
|
88.9 % | 80 / 90 | 92.2 % | 71 / 77 | |
atermpp/include/mcrl2/atermpp/detail |
|
88.8 % | 1041 / 1172 | 34.4 % | 7008 / 20397 | |
/usr/include/c++/11/ext |
|
90.1 % | 73 / 81 | 72.5 % | 5011 / 6915 | |
atermpp/include/mcrl2/atermpp/standard_containers |
|
90.2 % | 110 / 122 | 85.5 % | 94 / 110 | |
/usr/include/boost/algorithm/string/detail |
|
90.4 % | 75 / 83 | 100.0 % | 26 / 26 | |
/usr/include/boost/test/detail |
|
90.9 % | 10 / 11 | 13.6 % | 3 / 22 | |
/usr/include/boost/optional |
|
91.4 % | 64 / 70 | 66.7 % | 38 / 57 | |
/usr/include/boost/graph |
|
93.5 % | 86 / 92 | 93.8 % | 45 / 48 | |
/usr/include/boost/dynamic_bitset |
|
93.6 % | 103 / 110 | 100.0 % | 32 / 32 | |
modal_formula/include/mcrl2/modal_formula/detail |
|
93.8 % | 15 / 16 | 100.0 % | 3 / 3 | |
/usr/include/boost/iterator |
|
94.4 % | 67 / 71 | 77.7 % | 205 / 264 | |
core/test |
|
95.0 % | 19 / 20 | 100.0 % | 5 / 5 | |
process/test |
|
95.1 % | 653 / 687 | 99.4 % | 163 / 164 | |
data/test |
|
95.8 % | 4169 / 4353 | 98.4 % | 688 / 699 | |
/usr/include/boost/algorithm/string |
|
96.0 % | 97 / 101 | 100.0 % | 23 / 23 | |
pbes/test |
|
96.0 % | 2387 / 2486 | 99.2 % | 371 / 374 | |
atermpp/include/mcrl2/atermpp |
|
96.2 % | 588 / 611 | 46.6 % | 1888 / 4055 | |
lts/test |
|
96.2 % | 1588 / 1650 | 99.0 % | 189 / 191 | |
atermpp/test |
|
97.0 % | 636 / 656 | 98.1 % | 105 / 107 | |
modal_formula/test |
|
97.0 % | 327 / 337 | 100.0 % | 54 / 54 | |
lps/test |
|
97.1 % | 2148 / 2213 | 99.8 % | 479 / 480 | |
utilities/test |
|
97.2 % | 632 / 650 | 97.6 % | 120 / 123 | |
/usr/include/boost/type_traits |
|
100.0 % | 2 / 2 | 100.0 % | 2 / 2 | |
/usr/include/boost/move |
|
100.0 % | 2 / 2 | - | 0 / 0 | |
/usr/include/boost/range/detail |
|
100.0 % | 9 / 9 | 100.0 % | 3 / 3 | |
/usr/include/boost/optional/detail |
|
100.0 % | 10 / 10 | 66.7 % | 12 / 18 | |
/usr/include/boost/property_map |
|
100.0 % | 11 / 11 | 100.0 % | 6 / 6 | |
/usr/include/boost/pending |
|
100.0 % | 12 / 12 | 100.0 % | 6 / 6 | |
/usr/include/boost/io |
|
100.0 % | 13 / 13 | 100.0 % | 3 / 3 | |
/usr/include/boost/range/adaptor |
|
100.0 % | 13 / 13 | 100.0 % | 5 / 5 | |
/usr/include/boost/tuple/detail |
|
100.0 % | 17 / 17 | 100.0 % | 20 / 20 | |
symbolic/test |
|
100.0 % | 18 / 18 | 100.0 % | 4 / 4 | |
atermpp/include/mcrl2/atermpp/standard_containers/detail |
|
100.0 % | 30 / 30 | 75.0 % | 9 / 12 |
Generated by: LCOV version 1.14 |