LCOV - code coverage report
Current view:
top level
-
modal_formula/include/mcrl2/modal_formula
- has_name_clashes.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
80
80
100.0 %
Date:
2024-04-26 03:18:02
Functions:
20
20
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl214state_formulas6detail46state_formula_data_variable_name_clash_checker5enterERKNS0_6existsE
4
_ZN5mcrl214state_formulas6detail46state_formula_data_variable_name_clash_checker5leaveERKNS0_6existsE
4
_ZN5mcrl214state_formulas6detail46state_formula_data_variable_name_clash_checker5enterERKNS0_6forallE
11
_ZN5mcrl214state_formulas6detail46state_formula_data_variable_name_clash_checker5leaveERKNS0_6forallE
11
_ZN5mcrl214state_formulas6detail46state_formula_data_variable_name_clash_checker5eraseERKN7atermpp12aterm_stringE
26
_ZN5mcrl214state_formulas6detail46state_formula_data_variable_name_clash_checker6insertERKN7atermpp12aterm_stringERKNS0_13state_formulaE
28
_ZN5mcrl214state_formulas6detail46state_formula_data_variable_name_clash_checker5leaveERKNS0_2muE
53
_ZN5mcrl214state_formulas6detail46state_formula_data_variable_name_clash_checker5enterERKNS0_2muE
54
_ZN5mcrl214state_formulas6detail33state_variable_name_clash_checker5leaveERKNS0_2nuE
72
_ZN5mcrl214state_formulas6detail33state_variable_name_clash_checker5enterERKNS0_2nuE
74
_ZN5mcrl214state_formulas6detail33state_variable_name_clash_checker5leaveERKNS0_2muE
90
_ZN5mcrl214state_formulas6detail33state_variable_name_clash_checker5enterERKNS0_2muE
104
_ZN5mcrl214state_formulas30has_data_variable_name_clashesERKNS0_13state_formulaE
144
_ZN5mcrl214state_formulas32check_data_variable_name_clashesERKNS0_13state_formulaE
144
_ZN5mcrl214state_formulas6detail46state_formula_data_variable_name_clash_checker5leaveERKNS0_2nuE
150
_ZN5mcrl214state_formulas6detail46state_formula_data_variable_name_clash_checker5enterERKNS0_2nuE
151
_ZN5mcrl214state_formulas31has_state_variable_name_clashesERKNS0_13state_formulaE
155
_ZN5mcrl214state_formulas33check_state_variable_name_clashesERKNS0_13state_formulaE
155
_ZN5mcrl214state_formulas6detail33state_variable_name_clash_checker3popEv
162
_ZN5mcrl214state_formulas6detail33state_variable_name_clash_checker4pushERKN7atermpp12aterm_stringE
178
Generated by:
LCOV version 1.14