LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes/rewriters Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 443 692 64.0 %
Date: 2024-03-08 02:52:28 Functions: 161 266 60.5 %
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
71.4%71.4%
71.4 % 10 / 14 100.0 % 2 / 2
data2pbes_rewriter.h
76.1%76.1%
76.1 % 35 / 46 84.6 % 11 / 13
data_rewriter.h
95.6%95.6%
95.6 % 43 / 45 78.0 % 71 / 91
enumerate_quantifiers_rewriter.h
88.7%88.7%
88.7 % 126 / 142 72.5 % 29 / 40
if_rewriter.h
0.0%
0.0 % 0 / 8 0.0 % 0 / 3
one_point_rule_rewriter.h
89.7%89.7%
89.7 % 61 / 68 100.0 % 6 / 6
pbes2data_rewriter.h
0.0%
0.0 % 0 / 28 0.0 % 0 / 3
pfnf_rewriter.h
100.0%
100.0 % 5 / 5 100.0 % 1 / 1
quantifiers_inside_rewriter.h
0.0%
0.0 % 0 / 141 0.0 % 0 / 33
simplify_quantifiers_rewriter.h
85.0%85.0%
85.0 % 68 / 80 54.5 % 6 / 11
simplify_rewriter.h
82.6%82.6%
82.6 % 95 / 115 55.6 % 35 / 63

Generated by: LCOV version 1.14