LCOV - code coverage report
Current view: top level - pres/include/mcrl2/pres/detail Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 328 1064 30.8 %
Date: 2024-05-01 03:37:31 Functions: 66 443 14.9 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
find_free_variables.h
0.0%
 0.0 % 0 / 45 0.0 % 0 / 12
has_propositional_variables.h
0.0%
 0.0 % 0 / 10 0.0 % 0 / 3
instantiate_global_variables.h
0.0%
 0.0 % 0 / 22 0.0 % 0 / 2
is_well_typed.h
27.4%27.4%
 27.4 % 37 / 135 36.8 % 7 / 19
lps2pres_e.h
41.1%41.1%
 41.1 % 58 / 141 11.5 % 15 / 130
lps2pres_par.h
19.1%19.1%
 19.1 % 18 / 94 16.7 % 5 / 30
lps2pres_rhs.h
28.3%28.3%
 28.3 % 83 / 293 10.5 % 20 / 191
lps2pres_sat.h
26.4%26.4%
 26.4 % 19 / 72 17.6 % 6 / 34
lps2pres_utility.h
59.6%59.6%
 59.6 % 28 / 47 85.7 % 6 / 7
occurring_variable_visitor.h
100.0%
 100.0 % 3 / 3 100.0 % 1 / 1
parse.h
86.7%86.7%
 86.7 % 65 / 75 100.0 % 2 / 2
pres_context.h
94.4%94.4%
 94.4 % 17 / 18 100.0 % 4 / 4
pres_parameter_map.h
0.0%
 0.0 % 0 / 67 0.0 % 0 / 4
pres_property_map.h
0.0%
 0.0 % 0 / 42 0.0 % 0 / 4

Generated by: LCOV version 1.14