LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/rewriters Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 137 151 90.7 %
Date: 2019-08-22 00:56:55 Functions: 21 21 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 % 99 / 107 100.0 % 11 / 11
simplify_rewriter.h
86.4%86.4%
86.4 % 38 / 44 100.0 % 10 / 10

Generated by: LCOV version 1.12