LCOV - code coverage report | |||||||||||||||||||||||||
![]() | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
![]() |
Directory ![]() |
Line Coverage ![]() |
Functions ![]() |
||||
/scratch/teamcity/BuildAgent/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/RSJIGP5BFD |
|
0.0 % | 0 / 328 | 0.0 % | 0 / 56 | |
/scratch/teamcity/BuildAgent/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/include |
|
0.0 % | 0 / 16 | 0.0 % | 0 / 8 | |
atermpp/include/mcrl2/atermpp |
|
97.9 % | 563 / 575 | 80.5 % | 1312 / 1630 | |
atermpp/include/mcrl2/atermpp/detail |
|
88.6 % | 842 / 950 | 68.3 % | 3018 / 4417 | |
atermpp/source |
|
86.3 % | 334 / 387 | 90.5 % | 57 / 63 | |
atermpp/test |
|
96.8 % | 600 / 620 | 97.8 % | 131 / 134 | |
bes/include/mcrl2/bes |
|
85.5 % | 846 / 990 | 80.1 % | 261 / 326 | |
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 |
|
84.0 % | 268 / 319 | 44.7 % | 4080 / 9127 | |
core/include/mcrl2/core/detail |
|
74.3 % | 2446 / 3291 | 92.7 % | 788 / 850 | |
core/source |
|
69.3 % | 375 / 541 | 56.1 % | 23 / 41 | |
core/test |
|
95.0 % | 19 / 20 | 100.0 % | 9 / 9 | |
data/include/mcrl2/data |
|
90.2 % | 9573 / 10614 | 60.1 % | 3459 / 5752 | |
data/include/mcrl2/data/detail |
|
83.5 % | 525 / 629 | 83.3 % | 174 / 209 | |
data/include/mcrl2/data/detail/prover |
|
26.7 % | 288 / 1077 | 32.6 % | 45 / 138 | |
data/include/mcrl2/data/detail/rewrite |
|
78.6 % | 437 / 556 | 90.8 % | 148 / 163 | |
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.8 % | 244 / 278 | 88.6 % | 78 / 88 | |
data/source |
|
74.5 % | 2120 / 2844 | 69.4 % | 136 / 196 | |
data/source/detail/prover |
|
1.8 % | 1 / 56 | 25.0 % | 2 / 8 | |
data/source/detail/rewrite |
|
83.1 % | 1675 / 2016 | 89.2 % | 140 / 157 | |
data/test |
|
95.9 % | 4114 / 4290 | 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.3 % | 3575 / 4242 | 78.9 % | 1088 / 1379 | |
lps/include/mcrl2/lps/detail |
|
80.7 % | 480 / 595 | 75.6 % | 93 / 123 | |
lps/source |
|
80.2 % | 4750 / 5924 | 86.8 % | 341 / 393 | |
lps/test |
|
96.6 % | 2137 / 2212 | 99.8 % | 476 / 477 | |
lts/include/mcrl2/lts |
|
77.2 % | 1609 / 2084 | 71.1 % | 440 / 619 | |
lts/include/mcrl2/lts/detail |
|
87.7 % | 4942 / 5635 | 84.7 % | 716 / 845 | |
lts/source |
|
68.6 % | 2181 / 3179 | 65.8 % | 150 / 228 | |
lts/test |
|
96.5 % | 1576 / 1633 | 99.0 % | 205 / 207 | |
modal_formula/include/mcrl2/modal_formula |
|
65.0 % | 2894 / 4451 | 52.1 % | 890 / 1708 | |
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 |
|
82.8 % | 4193 / 5061 | 71.6 % | 1174 / 1639 | |
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 |
|
95.0 % | 2296 / 2417 | 96.5 % | 445 / 461 | |
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.7 % | 2787 / 4054 | 54.5 % | 795 / 1458 | |
process/include/mcrl2/process/detail |
|
54.5 % | 426 / 781 | 56.4 % | 93 / 165 | |
process/source |
|
63.7 % | 72 / 113 | 37.5 % | 24 / 64 | |
process/test |
|
95.9 % | 683 / 712 | 99.5 % | 181 / 182 | |
smt/include/mcrl2/smt |
|
0.0 % | 0 / 698 | 0.0 % | 0 / 94 | |
smt/source |
|
0.0 % | 0 / 227 | 0.0 % | 0 / 18 | |
symbolic/include/mcrl2/symbolic |
|
42.3 % | 105 / 248 | 42.5 % | 17 / 40 | |
symbolic/source |
|
76.5 % | 65 / 85 | 94.1 % | 16 / 17 | |
symbolic/test |
|
100.0 % | 17 / 17 | 100.0 % | 6 / 6 | |
utilities/include/mcrl2/utilities |
|
86.9 % | 1140 / 1312 | 84.2 % | 960 / 1140 | |
utilities/include/mcrl2/utilities/detail |
|
98.4 % | 439 / 446 | 78.1 % | 2403 / 3078 | |
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 |