| Current view: | top level - data/include/mcrl2/data/rewriters | Hit | Total | Coverage | ||
| Test: | mcrl2_coverage.info.cleaned | Lines: | 197 | 344 | 57.3 % | |
| Date: | 2024-04-19 03:43:27 | Functions: | 33 | 45 | 73.3 % | |
| Legend: | Rating: low: < 75 % medium: >= 75 % high: >= 90 % | |||||
|
| LCOV - code coverage report | |||||||||||||||||||||||||
| |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
|
Filename  |
Line Coverage |
Functions |
||||
| if_rewriter.h |
|
0.0 % | 0 / 94 | 0.0 % | 0 / 12 | |
| one_point_rule_rewriter.h |
|
75.5 % | 40 / 53 | 100.0 % | 4 / 4 | |
| simplify_rewriter.h |
|
77.8 % | 49 / 63 | 100.0 % | 10 / 10 | |
| quantifiers_inside_rewriter.h |
|
80.6 % | 108 / 134 | 100.0 % | 19 / 19 | |
|
| Generated by: LCOV version 1.14 |
