LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes/rewriters Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 291 430 67.7 %
Date: 2020-08-12 00:34:17 Functions: 149 222 67.1 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
bqnf_rewriter.h
78.6%78.6%
78.6 % 11 / 14 100.0 % 3 / 3
data2pbes_rewriter.h
81.6%81.6%
81.6 % 31 / 38 91.7 % 11 / 12
data_rewriter.h
100.0%
100.0 % 31 / 31 85.5 % 59 / 69
enumerate_quantifiers_rewriter.h
91.8%91.8%
91.8 % 78 / 85 85.3 % 29 / 34
one_point_rule_rewriter.h
92.0%92.0%
92.0 % 46 / 50 100.0 % 6 / 6
pfnf_rewriter.h
100.0%
100.0 % 4 / 4 100.0 % 1 / 1
quantifiers_inside_rewriter.h
0.0%
0.0 % 0 / 114 0.0 % 0 / 32
simplify_quantifiers_rewriter.h
92.9%92.9%
92.9 % 52 / 56 75.0 % 6 / 8
simplify_rewriter.h
100.0%
100.0 % 38 / 38 59.6 % 34 / 57

Generated by: LCOV version 1.13