LCOV - code coverage report
Current view: top level - process/include/mcrl2/process/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 421 794 53.0 %
Date: 2019-05-22 00:50:25 Functions: 88 166 53.0 %
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.9%88.9%
 88.9 % 72 / 81 87.5 % 14 / 16
alphabet_push_allow.h
48.3%48.3%
 48.3 % 168 / 348 54.9 % 39 / 71
alphabet_push_block.h
0.0%
 0.0 % 0 / 141 0.0 % 0 / 35
match_action_parameters.h
94.1%94.1%
 94.1 % 32 / 34 100.0 % 2 / 2
pcrl_equation_cache.h
94.9%94.9%
 94.9 % 37 / 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.12