LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/detail/rewrite Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 483 655 73.7 %
Date: 2024-03-08 02:52:28 Functions: 133 161 82.6 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
jitty.h
82.4%82.4%
82.4 % 14 / 17 66.7 % 4 / 6
jitty_jittyc.h
88.9%88.9%
88.9 % 72 / 81 81.8 % 9 / 11
jittyc.h
70.8%70.8%
70.8 % 17 / 24 55.6 % 5 / 9
jittycpreamble.h
32.7%32.7%
32.7 % 51 / 156 47.6 % 10 / 21
match_tree.h
96.0%96.0%
96.0 % 239 / 249 100.0 % 78 / 78
nfs_array.h
90.9%90.9%
90.9 % 10 / 11 100.0 % 3 / 3
rewrite_stack.h
97.6%97.6%
97.6 % 41 / 42 100.0 % 11 / 11
strategy_rule.h
100.0%
100.0 % 39 / 39 100.0 % 13 / 13
with_prover.h
0.0%
0.0 % 0 / 36 0.0 % 0 / 9

Generated by: LCOV version 1.14