LCOV - code coverage report
Current view: top level - process/include/mcrl2/process/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 497 781 63.6 %
Date: 2020-04-01 00:44:46 Functions: 108 165 65.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.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
47.5%47.5%
 47.5 % 161 / 339 54.3 % 38 / 70
alphabet_push_block.h
61.7%61.7%
 61.7 % 87 / 141 60.0 % 21 / 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.13