| Current view: | top level - core/include/mcrl2/core | Hit | Total | Coverage | ||
| Test: | mcrl2_coverage.info.cleaned | Lines: | 256 | 304 | 84.2 % | |
| Date: | 2024-04-26 03:18:02 | Functions: | 4320 | 12191 | 35.4 % | |
| Legend: | Rating: low: < 75 % medium: >= 75 % high: >= 90 % | |||||
|
| LCOV - code coverage report | |||||||||||||||||||||||||
| |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
|
| Filename |
Line Coverage  |
Functions |
||||
| add_binding.h |
|
100.0 % | 18 / 18 | 45.4 % | 59 / 130 | |
| builder.h |
|
100.0 % | 50 / 50 | 38.2 % | 1847 / 4841 | |
| dparser.h |
|
70.0 % | 21 / 30 | 88.9 % | 8 / 9 | |
| identifier_string.h |
|
66.7 % | 4 / 6 | 66.7 % | 2 / 3 | |
| load_aterm.h |
|
75.0 % | 3 / 4 | 100.0 % | 1 / 1 | |
| parse.h |
|
76.3 % | 71 / 93 | 92.7 % | 101 / 109 | |
| parser_utility.h |
|
100.0 % | 4 / 4 | 100.0 % | 2 / 2 | |
| print.h |
|
92.4 % | 73 / 79 | 39.4 % | 117 / 297 | |
| print_format.h |
|
0.0 % | 0 / 8 | 0.0 % | 0 / 1 | |
| traverser.h |
|
100.0 % | 12 / 12 | 32.1 % | 2183 / 6798 | |
|
| Generated by: LCOV version 1.14 |
