LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes/rewriters Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 291 426 68.3 %
Date: 2019-10-17 19:07:16 Functions: 149 220 67.7 %
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 84.8 % 28 / 33
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 / 110 0.0 % 0 / 31
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 61.4 % 35 / 57

Generated by: LCOV version 1.13