LCOV - code coverage report
Current view:
top level
-
modal_formula/include/mcrl2/modal_formula
- resolve_name_clashes.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
44
150
29.3 %
Date:
2024-04-21 03:44:01
Functions:
10
36
27.8 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl214state_formulas48resolve_state_formula_data_variable_name_clashesERKNS0_13state_formulaERKSt3setIN7atermpp12aterm_stringESt4lessIS6_ESaIS6_EE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver15apply_variablesERKN7atermpp9term_listINS_4data8variableEEE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver17apply_assignmentsERKN7atermpp9term_listINS_4data10assignmentEEE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_13state_formulaEEEvRT_RKNS0_2muE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_13state_formulaEEEvRT_RKNS0_2nuE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_13state_formulaEEEvRT_RKNS0_6existsE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_13state_formulaEEEvRT_RKNS0_6forallE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_13state_formulaEEEvRT_RKNS_4data15data_expressionE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_15action_formulas14action_formulaEEEvRT_RKNS4_6existsE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_15action_formulas14action_formulaEEEvRT_RKNS4_6forallE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_15action_formulas14action_formulaEEEvRT_RKNS_4data15data_expressionE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS_15action_formulas6existsE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS_15action_formulas6forallE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS_4data15data_expressionE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_4data15data_expressionEEEvRT_RKS5_
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5eraseERKNS_4data8variableE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver6insertERKNS_4data8variableE
0
_ZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolverC2ERNS_4data24set_identifier_generatorE
0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver15apply_variablesERKN7atermpp9term_listINS_4data8variableEEEENKUlRKS6_E0_clESB_
0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver15apply_variablesERKN7atermpp9term_listINS_4data8variableEEEENKUlRKS6_E_clESB_
0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver17apply_assignmentsERKN7atermpp9term_listINS_4data10assignmentEEEENKUlRKNS5_8variableEE_clESC_
0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver17apply_assignmentsERKN7atermpp9term_listINS_4data10assignmentEEEENKUlRKS6_E0_clESB_
0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS0_13state_formulaEEEvRT_RKNS_4data15data_expressionEENKUlRKNS7_8variableEE_clESD_
0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_15action_formulas14action_formulaEEEvRT_RKNS_4data15data_expressionEENKUlRKNS8_8variableEE_clESE_
0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS_4data15data_expressionEENKUlRKNS8_8variableEE_clESE_
0
_ZZN5mcrl214state_formulas6detail47state_formula_data_variable_name_clash_resolver5applyINS_4data15data_expressionEEEvRT_RKS5_ENKUlRKNS4_8variableEE_clESC_
0
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE5applyINS0_13state_formulaEEEvRT_RKNS0_2nuE
2
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE5enterERKNS0_2nuE
2
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE5leaveERKNS0_2nuE
2
_ZN5mcrl214state_formulas35resolve_state_variable_name_clashesERKNS0_13state_formulaE
8
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE5applyINS0_13state_formulaEEEvRT_RKNS0_8variableE
13
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE5applyINS0_13state_formulaEEEvRT_RKNS0_2muE
14
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE5enterERKNS0_2muE
14
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE5leaveERKNS0_2muE
14
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE3popERKN7atermpp12aterm_stringE
16
_ZN5mcrl214state_formulas6detail34state_variable_name_clash_resolverINS_4core13apply_builderIS2_EEE4pushERKN7atermpp12aterm_stringE
16
Generated by:
LCOV version 1.14