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 Sort by function name Hit count Sort by 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