LCOV - code coverage report
Current view:
top level
- lps/include/mcrl2/lps/rewriters
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
43
76
56.6 %
Date:
2024-05-01 03:37:31
Functions:
7
10
70.0 %
Legend:
Rating:
low: < 75 %
medium: >= 75 %
high: >= 90 %
Filename
Line Coverage
Functions
one_point_condition_rewrite.h
56.6 %
43 / 76
70.0 %
7 / 10
Generated by:
LCOV version 1.14