| Current view: | top level | Hit | Total | Coverage | ||
| Test: | mcrl2_coverage.info.cleaned | Lines: | 70204 | 91624 | 76.6 % | |
| Date: | 2023-03-30 19:50:40 | Functions: | 32270 | 60250 | 53.6 % | |
| Legend: | Rating: low: < 75 % medium: >= 75 % high: >= 90 % | |||||
|
| 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/example |
|
0.0 % | 0 / 21 | 0.0 % | 0 / 6 | |
| atermpp/include/mcrl2/atermpp |
|
97.9 % | 613 / 626 | 55.4 % | 1943 / 3508 | |
| atermpp/include/mcrl2/atermpp/detail |
|
88.3 % | 1266 / 1433 | 41.8 % | 7041 / 16832 | |
| atermpp/include/mcrl2/atermpp/standard_containers |
|
87.6 % | 120 / 137 | 77.6 % | 104 / 134 | |
| atermpp/include/mcrl2/atermpp/standard_containers/detail |
|
60.0 % | 3 / 5 | 50.0 % | 1 / 2 | |
| atermpp/source |
|
85.6 % | 363 / 424 | 91.0 % | 61 / 67 | |
| atermpp/test |
|
96.7 % | 625 / 646 | 97.8 % | 136 / 139 | |
| bes/example |
|
0.0 % | 0 / 13 | 0.0 % | 0 / 7 | |
| bes/include/mcrl2/bes |
|
75.0 % | 860 / 1147 | 72.1 % | 266 / 369 | |
| bes/include/mcrl2/bes/detail |
|
68.1 % | 62 / 91 | 73.1 % | 19 / 26 | |
| bes/source |
|
67.7 % | 151 / 223 | 74.3 % | 26 / 35 | |
| bes/test |
|
97.9 % | 524 / 535 | 100.0 % | 89 / 89 | |
| core/include/mcrl2/core |
|
82.4 % | 239 / 290 | 43.8 % | 4032 / 9198 | |
| core/include/mcrl2/core/detail |
|
74.5 % | 2442 / 3279 | 92.8 % | 785 / 846 | |
| core/source |
|
69.3 % | 375 / 541 | 56.1 % | 23 / 41 | |
| core/test |
|
95.0 % | 19 / 20 | 100.0 % | 9 / 9 | |
| data/example |
|
0.0 % | 0 / 65 | 0.0 % | 0 / 20 | |
| data/include/mcrl2/data |
|
89.9 % | 9879 / 10984 | 46.0 % | 3873 / 8420 | |
| data/include/mcrl2/data/detail |
|
81.9 % | 502 / 613 | 82.9 % | 175 / 211 | |
| data/include/mcrl2/data/detail/prover |
|
26.4 % | 287 / 1088 | 31.2 % | 45 / 144 | |
| data/include/mcrl2/data/detail/rewrite |
|
75.0 % | 501 / 668 | 84.2 % | 165 / 196 | |
| data/include/mcrl2/data/experimental |
|
79.1 % | 739 / 934 | 90.6 % | 145 / 160 | |
| data/include/mcrl2/data/rewriters |
|
81.7 % | 187 / 229 | 100.0 % | 33 / 33 | |
| data/include/mcrl2/data/substitutions |
|
83.3 % | 230 / 276 | 86.0 % | 80 / 93 | |
| data/source |
|
75.9 % | 2157 / 2843 | 70.4 % | 138 / 196 | |
| data/source/detail/prover |
|
1.8 % | 1 / 56 | 25.0 % | 2 / 8 | |
| data/source/detail/rewrite |
|
81.4 % | 1803 / 2214 | 88.5 % | 138 / 156 | |
| data/test |
|
95.9 % | 4120 / 4296 | 98.3 % | 755 / 768 | |
| gui/include/mcrl2/gui |
|
0.0 % | 0 / 32 | 0.0 % | 0 / 33 | |
| gui/source |
|
0.0 % | 0 / 425 | 0.0 % | 0 / 50 | |
| lps/example |
|
0.0 % | 0 / 79 | 0.0 % | 0 / 9 | |
| lps/include/mcrl2/lps |
|
82.8 % | 3672 / 4437 | 74.1 % | 1156 / 1561 | |
| lps/include/mcrl2/lps/detail |
|
80.0 % | 459 / 574 | 75.0 % | 93 / 124 | |
| lps/source |
|
79.4 % | 4704 / 5928 | 85.8 % | 339 / 395 | |
| lps/test |
|
96.6 % | 2138 / 2213 | 99.8 % | 476 / 477 | |
| lts/include/mcrl2/lts |
|
77.3 % | 1687 / 2183 | 70.5 % | 463 / 657 | |
| lts/include/mcrl2/lts/detail |
|
88.7 % | 4938 / 5564 | 87.4 % | 706 / 808 | |
| lts/source |
|
76.1 % | 1893 / 2487 | 69.7 % | 131 / 188 | |
| lts/test |
|
96.5 % | 1554 / 1611 | 99.0 % | 204 / 206 | |
| modal_formula/include/mcrl2/modal_formula |
|
65.6 % | 3062 / 4669 | 51.9 % | 1194 / 2302 | |
| 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 % | 4377 / 5232 | 64.7 % | 1358 / 2098 | |
| pbes/include/mcrl2/pbes/detail |
|
61.0 % | 2823 / 4631 | 43.8 % | 543 / 1240 | |
| pbes/include/mcrl2/pbes/rewriters |
|
68.7 % | 402 / 585 | 65.7 % | 165 / 251 | |
| pbes/include/mcrl2/pbes/tools |
|
4.2 % | 8 / 192 | 37.5 % | 6 / 16 | |
| pbes/source |
|
78.9 % | 872 / 1105 | 73.4 % | 127 / 173 | |
| pbes/test |
|
96.3 % | 2166 / 2250 | 99.3 % | 414 / 417 | |
| pg/example |
|
0.0 % | 0 / 42 | 0.0 % | 0 / 3 | |
| pg/include/mcrl2/pg |
|
0.0 % | 0 / 487 | 0.0 % | 0 / 194 | |
| pg/source |
|
0.0 % | 0 / 1768 | 0.0 % | 0 / 194 | |
| process/include/mcrl2/process |
|
69.5 % | 2911 / 4190 | 50.9 % | 1007 / 1979 | |
| process/include/mcrl2/process/detail |
|
54.3 % | 430 / 792 | 56.4 % | 93 / 165 | |
| process/source |
|
62.4 % | 68 / 109 | 36.5 % | 23 / 63 | |
| process/test |
|
95.9 % | 683 / 712 | 99.5 % | 181 / 182 | |
| smt/example |
|
0.0 % | 0 / 30 | 0.0 % | 0 / 6 | |
| smt/include/mcrl2/smt |
|
0.0 % | 0 / 706 | 0.0 % | 0 / 96 | |
| smt/source |
|
0.0 % | 0 / 227 | 0.0 % | 0 / 18 | |
| symbolic/include/mcrl2/symbolic |
|
14.2 % | 16 / 113 | 27.3 % | 6 / 22 | |
| symbolic/source |
|
76.5 % | 65 / 85 | 94.1 % | 16 / 17 | |
| symbolic/test |
|
100.0 % | 17 / 17 | 100.0 % | 6 / 6 | |
| utilities/example |
|
0.0 % | 0 / 65 | 0.0 % | 0 / 15 | |
| utilities/include/mcrl2/utilities |
|
79.4 % | 1202 / 1514 | 83.1 % | 998 / 1201 | |
| utilities/include/mcrl2/utilities/detail |
|
90.5 % | 546 / 603 | 74.2 % | 2182 / 2941 | |
| utilities/source |
|
46.2 % | 322 / 697 | 71.9 % | 46 / 64 | |
| utilities/test |
|
98.6 % | 684 / 694 | 98.8 % | 168 / 170 | |
|
| Generated by: LCOV version 1.13 |
