LCOV - code coverage report
Current view: top level - process/include/mcrl2/process/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 460 855 53.8 %
Date: 2024-03-08 02:52:28 Functions: 74 141 52.5 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
action_context.h
97.1%97.1%
97.1 % 33 / 34 100.0 % 5 / 5
alphabet_intersection.h
63.3%63.3%
63.3 % 31 / 49 50.0 % 7 / 14
alphabet_parse.h
87.4%87.4%
87.4 % 83 / 95 87.5 % 14 / 16
alphabet_push_allow.h
34.4%34.4%
34.4 % 123 / 358 35.2 % 19 / 54
alphabet_push_block.h
39.0%39.0%
39.0 % 64 / 164 38.2 % 13 / 34
match_action_parameters.h
94.9%94.9%
94.9 % 37 / 39 100.0 % 2 / 2
pcrl_equation_cache.h
90.7%90.7%
90.7 % 39 / 43 100.0 % 5 / 5
process_context.h
68.5%68.5%
68.5 % 50 / 73 81.8 % 9 / 11

Generated by: LCOV version 1.14