LCOV - code coverage report
Current view: top level - process/include/mcrl2/process/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 503 789 63.8 %
Date: 2019-08-22 00:56:55 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.9%88.9%
88.9 % 72 / 81 87.5 % 14 / 16
alphabet_push_allow.h
47.5%47.5%
47.5 % 163 / 343 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.12