| Current view: | top level - core/include/mcrl2/core/detail | Hit | Total | Coverage | ||
| Test: | mcrl2_coverage.info.cleaned | Lines: | 2726 | 3700 | 73.7 % | |
| Date: | 2024-04-13 03:38:08 | Functions: | 867 | 933 | 92.9 % | |
| Legend: | Rating: low: < 75 % medium: >= 75 % high: >= 90 % | |||||
|
| LCOV - code coverage report | |||||||||||||||||||||||||
| |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
|
Filename  |
Line Coverage |
Functions |
||||
| print_utility.h |
|
58.5 % | 24 / 41 | 36.1 % | 22 / 61 | |
| soundness_checks.h |
|
64.2 % | 1698 / 2644 | 95.1 % | 500 / 526 | |
| function_symbols.h |
|
98.0 % | 486 / 496 | 99.4 % | 161 / 162 | |
| default_values.h |
|
99.8 % | 515 / 516 | 100.0 % | 177 / 177 | |
| construction_utility.h |
|
100.0 % | 3 / 3 | 100.0 % | 7 / 7 | |
|
| Generated by: LCOV version 1.14 |
