LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/rewriters Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 231 262 88.2 %
Date: 2020-04-01 00:44:46 Functions: 40 40 100.0 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
one_point_rule_rewriter.h
92.5%92.5%
92.5 % 98 / 106 100.0 % 11 / 11
quantifiers_inside_rewriter.h
84.8%84.8%
84.8 % 95 / 112 100.0 % 19 / 19
simplify_rewriter.h
86.4%86.4%
86.4 % 38 / 44 100.0 % 10 / 10

Generated by: LCOV version 1.13