| Current view: | top level | Hit | Total | Coverage | ||
| Test: | mcrl2_coverage.info.cleaned | Lines: | 71536 | 94431 | 75.8 % | |
| Date: | 2023-09-30 02:55:56 | Functions: | 31243 | 59638 | 52.4 % | |
| 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 / 327 | 0.0 % | 0 / 54 | |
| /scratch/teamcity/BuildAgent/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/include |
|
0.0 % | 0 / 16 | 0.0 % | 0 / 2 | |
| atermpp/example |
|
0.0 % | 0 / 20 | 0.0 % | 0 / 4 | |
| atermpp/include/mcrl2/atermpp |
|
96.9 % | 602 / 621 | 54.2 % | 1916 / 3533 | |
| atermpp/include/mcrl2/atermpp/detail |
|
90.4 % | 1213 / 1342 | 41.0 % | 7101 / 17328 | |
| atermpp/include/mcrl2/atermpp/standard_containers |
|
90.5 % | 114 / 126 | 77.6 % | 97 / 125 | |
| atermpp/include/mcrl2/atermpp/standard_containers/detail |
|
100.0 % | 30 / 30 | 75.0 % | 9 / 12 | |
| atermpp/source |
|
83.8 % | 363 / 433 | 89.1 % | 49 / 55 | |
| atermpp/test |
|
96.9 % | 635 / 655 | 98.1 % | 105 / 107 | |
| bes/example |
|
0.0 % | 0 / 12 | 0.0 % | 0 / 3 | |
| bes/include/mcrl2/bes |
|
73.9 % | 870 / 1177 | 71.0 % | 238 / 335 | |
| bes/include/mcrl2/bes/detail |
|
67.8 % | 61 / 90 | 68.2 % | 15 / 22 | |
| bes/source |
|
66.1 % | 158 / 239 | 69.0 % | 20 / 29 | |
| bes/test |
|
97.7 % | 514 / 526 | 100.0 % | 69 / 69 | |
| core/include/mcrl2/core |
|
81.6 % | 244 / 299 | 43.1 % | 4038 / 9360 | |
| core/include/mcrl2/core/detail |
|
74.4 % | 2442 / 3281 | 92.8 % | 785 / 846 | |
| core/source |
|
29.5 % | 75 / 254 | 51.4 % | 19 / 37 | |
| core/test |
|
95.0 % | 19 / 20 | 100.0 % | 5 / 5 | |
| data/example |
|
0.0 % | 0 / 66 | 0.0 % | 0 / 8 | |
| data/include/mcrl2/data |
|
87.1 % | 10069 / 11563 | 44.2 % | 3718 / 8414 | |
| data/include/mcrl2/data/detail |
|
81.2 % | 531 / 654 | 82.3 % | 163 / 198 | |
| data/include/mcrl2/data/detail/prover |
|
26.2 % | 295 / 1124 | 31.0 % | 39 / 126 | |
| data/include/mcrl2/data/detail/rewrite |
|
73.7 % | 482 / 654 | 82.6 % | 133 / 161 | |
| data/include/mcrl2/data/experimental |
|
78.0 % | 736 / 944 | 87.7 % | 121 / 138 | |
| data/include/mcrl2/data/rewriters |
|
78.8 % | 197 / 250 | 100.0 % | 33 / 33 | |
| data/include/mcrl2/data/substitutions |
|
79.1 % | 234 / 296 | 82.5 % | 66 / 80 | |
| 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 |
|
80.8 % | 1886 / 2334 | 86.8 % | 118 / 136 | |
| data/test |
|
95.8 % | 4169 / 4353 | 98.4 % | 688 / 699 | |
| gui/include/mcrl2/gui |
|
0.0 % | 0 / 20 | 0.0 % | 0 / 7 | |
| gui/source |
|
0.0 % | 0 / 441 | 0.0 % | 0 / 48 | |
| lps/example |
|
0.0 % | 0 / 70 | 0.0 % | 0 / 5 | |
| lps/include/mcrl2/lps |
|
79.2 % | 3863 / 4879 | 71.3 % | 1055 / 1479 | |
| lps/include/mcrl2/lps/detail |
|
79.8 % | 463 / 580 | 74.6 % | 85 / 114 | |
| lps/include/mcrl2/lps/rewriters |
|
56.6 % | 43 / 76 | 70.0 % | 7 / 10 | |
| lps/source |
|
78.7 % | 5015 / 6375 | 85.9 % | 322 / 375 | |
| lps/test |
|
96.0 % | 2136 / 2224 | 99.8 % | 420 / 421 | |
| lts/include/mcrl2/lts |
|
76.1 % | 1684 / 2212 | 71.2 % | 386 / 542 | |
| lts/include/mcrl2/lts/detail |
|
87.0 % | 5170 / 5942 | 87.3 % | 647 / 741 | |
| lts/source |
|
75.5 % | 1882 / 2494 | 65.7 % | 109 / 166 | |
| lts/test |
|
96.1 % | 1537 / 1599 | 98.9 % | 184 / 186 | |
| modal_formula/include/mcrl2/modal_formula |
|
65.1 % | 3043 / 4674 | 50.7 % | 1118 / 2206 | |
| modal_formula/include/mcrl2/modal_formula/detail |
|
93.8 % | 15 / 16 | 100.0 % | 3 / 3 | |
| modal_formula/source |
|
53.8 % | 112 / 208 | 23.0 % | 14 / 61 | |
| modal_formula/test |
|
96.9 % | 313 / 323 | 100.0 % | 50 / 50 | |
| pbes/include/mcrl2/pbes |
|
82.4 % | 4478 / 5435 | 63.4 % | 1248 / 1969 | |
| pbes/include/mcrl2/pbes/detail |
|
60.3 % | 2893 / 4794 | 42.6 % | 472 / 1109 | |
| pbes/include/mcrl2/pbes/rewriters |
|
67.0 % | 416 / 621 | 64.8 % | 158 / 244 | |
| pbes/include/mcrl2/pbes/tools |
|
6.8 % | 14 / 205 | 16.7 % | 2 / 12 | |
| pbes/source |
|
78.3 % | 948 / 1211 | 72.1 % | 119 / 165 | |
| pbes/test |
|
96.0 % | 2122 / 2210 | 99.1 % | 336 / 339 | |
| 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 | |
| process/include/mcrl2/process |
|
69.1 % | 2947 / 4265 | 49.8 % | 952 / 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 |
|
13.3 % | 15 / 113 | 35.7 % | 5 / 14 | |
| symbolic/source |
|
75.0 % | 63 / 84 | 92.9 % | 13 / 14 | |
| symbolic/test |
|
100.0 % | 18 / 18 | 100.0 % | 4 / 4 | |
| utilities/example |
|
0.0 % | 0 / 63 | 0.0 % | 0 / 9 | |
| utilities/include/mcrl2/utilities |
|
79.5 % | 1284 / 1616 | 83.9 % | 1055 / 1257 | |
| utilities/include/mcrl2/utilities/detail |
|
95.1 % | 559 / 588 | 76.7 % | 2376 / 3097 | |
| utilities/source |
|
46.0 % | 336 / 730 | 66.7 % | 36 / 54 | |
| utilities/test |
|
98.4 % | 694 / 705 | 98.5 % | 135 / 137 | |
|
| Generated by: LCOV version 1.14 |
