LCOV - code coverage report
Current view: top level - process/include/mcrl2/process/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 426 781 54.5 %
Date: 2020-10-20 00:45:57 Functions: 93 165 56.4 %
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.0%97.0%
 97.0 % 32 / 33 100.0 % 7 / 7
alphabet_intersection.h
63.3%63.3%
 63.3 % 31 / 49 56.2 % 9 / 16
alphabet_parse.h
88.3%88.3%
 88.3 % 68 / 77 87.5 % 14 / 16
alphabet_push_allow.h
35.4%35.4%
 35.4 % 120 / 339 42.9 % 30 / 70
alphabet_push_block.h
41.1%41.1%
 41.1 % 58 / 141 40.0 % 14 / 35
match_action_parameters.h
94.1%94.1%
 94.1 % 32 / 34 100.0 % 2 / 2
pcrl_equation_cache.h
92.3%92.3%
 92.3 % 36 / 39 100.0 % 6 / 6
process_context.h
71.0%71.0%
 71.0 % 49 / 69 84.6 % 11 / 13

Generated by: LCOV version 1.13