LCOV - code coverage report | |||||||||||||||||||||||||
![]() | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
![]() |
Directory ![]() |
Line Coverage ![]() |
Functions ![]() |
||||
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/RSJIGP5BFD |
|
0.0 % | 0 / 328 | 0.0 % | 0 / 56 | |
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/include |
|
0.0 % | 0 / 16 | 0.0 % | 0 / 8 | |
atermpp/include/mcrl2/atermpp |
|
98.5 % | 524 / 532 | 80.9 % | 1279 / 1580 | |
atermpp/include/mcrl2/atermpp/detail |
|
86.3 % | 849 / 984 | 67.6 % | 2946 / 4356 | |
atermpp/source |
|
86.2 % | 330 / 383 | 90.2 % | 55 / 61 | |
atermpp/test |
|
97.1 % | 539 / 555 | 98.4 % | 126 / 128 | |
bes/include/mcrl2/bes |
|
85.4 % | 819 / 959 | 79.9 % | 254 / 318 | |
bes/include/mcrl2/bes/detail |
|
68.1 % | 62 / 91 | 73.1 % | 19 / 26 | |
bes/source |
|
70.1 % | 164 / 234 | 75.7 % | 28 / 37 | |
bes/test |
|
97.9 % | 524 / 535 | 100.0 % | 89 / 89 | |
core/include/mcrl2/core |
|
80.9 % | 258 / 319 | 44.3 % | 4094 / 9247 | |
core/include/mcrl2/core/detail |
|
74.4 % | 2440 / 3278 | 92.0 % | 766 / 833 | |
core/source |
|
69.3 % | 375 / 541 | 56.1 % | 23 / 41 | |
core/test |
|
95.0 % | 19 / 20 | 100.0 % | 9 / 9 | |
data/include/mcrl2/data |
|
89.9 % | 9261 / 10300 | 61.4 % | 3406 / 5548 | |
data/include/mcrl2/data/detail |
|
83.0 % | 504 / 607 | 82.9 % | 170 / 205 | |
data/include/mcrl2/data/detail/prover |
|
26.7 % | 288 / 1077 | 32.6 % | 45 / 138 | |
data/include/mcrl2/data/detail/rewrite |
|
76.9 % | 405 / 527 | 89.5 % | 137 / 153 | |
data/include/mcrl2/data/experimental |
|
79.1 % | 739 / 934 | 90.6 % | 145 / 160 | |
data/include/mcrl2/data/rewriters |
|
88.2 % | 231 / 262 | 100.0 % | 40 / 40 | |
data/include/mcrl2/data/substitutions |
|
87.6 % | 241 / 275 | 88.5 % | 77 / 87 | |
data/source |
|
74.7 % | 2149 / 2875 | 68.7 % | 134 / 195 | |
data/source/detail/prover |
|
1.8 % | 1 / 56 | 25.0 % | 2 / 8 | |
data/source/detail/rewrite |
|
84.2 % | 1611 / 1914 | 91.5 % | 140 / 153 | |
data/test |
|
95.9 % | 4113 / 4289 | 98.4 % | 745 / 757 | |
gui/include/mcrl2/gui |
|
0.0 % | 0 / 32 | 0.0 % | 0 / 33 | |
gui/source |
|
0.0 % | 0 / 423 | 0.0 % | 0 / 50 | |
lps/include/mcrl2/lps |
|
84.5 % | 3528 / 4174 | 78.7 % | 1080 / 1372 | |
lps/include/mcrl2/lps/detail |
|
80.7 % | 480 / 595 | 75.6 % | 93 / 123 | |
lps/source |
|
78.8 % | 4742 / 6017 | 84.6 % | 340 / 402 | |
lps/test |
|
96.6 % | 2128 / 2203 | 99.8 % | 474 / 475 | |
lts/include/mcrl2/lts |
|
76.6 % | 1370 / 1789 | 70.4 % | 406 / 577 | |
lts/include/mcrl2/lts/detail |
|
87.0 % | 4919 / 5654 | 84.7 % | 712 / 841 | |
lts/source |
|
71.7 % | 2156 / 3008 | 69.5 % | 148 / 213 | |
lts/test |
|
98.8 % | 1377 / 1394 | 99.4 % | 175 / 176 | |
modal_formula/include/mcrl2/modal_formula |
|
64.6 % | 2821 / 4370 | 51.7 % | 873 / 1688 | |
modal_formula/include/mcrl2/modal_formula/detail |
|
94.1 % | 16 / 17 | 100.0 % | 7 / 7 | |
modal_formula/source |
|
54.0 % | 102 / 189 | 27.7 % | 18 / 65 | |
modal_formula/test |
|
97.0 % | 319 / 329 | 100.0 % | 60 / 60 | |
pbes/include/mcrl2/pbes |
|
83.7 % | 4005 / 4787 | 72.4 % | 1142 / 1577 | |
pbes/include/mcrl2/pbes/detail |
|
60.7 % | 2778 / 4573 | 43.7 % | 540 / 1237 | |
pbes/include/mcrl2/pbes/rewriters |
|
67.7 % | 291 / 430 | 67.1 % | 149 / 222 | |
pbes/include/mcrl2/pbes/tools |
|
4.2 % | 8 / 192 | 37.5 % | 6 / 16 | |
pbes/source |
|
79.5 % | 887 / 1116 | 73.6 % | 128 / 174 | |
pbes/test |
|
96.1 % | 2145 / 2232 | 99.3 % | 410 / 413 | |
pg/include/mcrl2/pg |
|
0.0 % | 0 / 485 | 0.0 % | 0 / 192 | |
pg/source |
|
0.0 % | 0 / 1768 | 0.0 % | 0 / 194 | |
process/include/mcrl2/process |
|
68.8 % | 2799 / 4066 | 54.8 % | 805 / 1468 | |
process/include/mcrl2/process/detail |
|
54.5 % | 426 / 781 | 56.4 % | 93 / 165 | |
process/source |
|
64.0 % | 73 / 114 | 38.5 % | 25 / 65 | |
process/test |
|
95.9 % | 680 / 709 | 99.4 % | 179 / 180 | |
smt/include/mcrl2/smt |
|
0.0 % | 0 / 698 | 0.0 % | 0 / 94 | |
smt/source |
|
0.0 % | 0 / 227 | 0.0 % | 0 / 18 | |
trace/include/mcrl2/trace |
|
61.8 % | 144 / 233 | 72.7 % | 24 / 33 | |
trace/test |
|
87.7 % | 50 / 57 | 100.0 % | 11 / 11 | |
utilities/include/mcrl2/utilities |
|
86.5 % | 1092 / 1262 | 83.6 % | 882 / 1055 | |
utilities/include/mcrl2/utilities/detail |
|
98.6 % | 435 / 441 | 76.7 % | 2329 / 3038 | |
utilities/source |
|
46.5 % | 322 / 692 | 71.9 % | 46 / 64 | |
utilities/test |
|
98.5 % | 679 / 689 | 98.8 % | 166 / 168 |
![]() |
Generated by: LCOV version 1.13 |