LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes/rewriters Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 295 427 69.1 %
Date: 2019-05-22 00:50:25 Functions: 167 242 69.0 %
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 / 107 0.0 % 0 / 33
simplify_quantifiers_rewriter.h
93.1%93.1%
93.1 % 54 / 58 83.3 % 10 / 12
simplify_rewriter.h
100.0%
100.0 % 40 / 40 67.1 % 49 / 73

Generated by: LCOV version 1.12