LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes/detail - pfnf_traverser.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 152 166 91.6 % Date: 2024-05-04 03:44:52 Functions: 25 28 89.3 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail14pfnf_traverser5enterERKNS0_3impE	0
_ZN5mcrl211pbes_system6detail14pfnf_traverser5enterERKNS0_4not_E	0
_ZN5mcrl211pbes_system6detail26pfnf_traverser_implication10substituteERKNS1_30variable_variable_substitutionE	0
_ZNK5mcrl211pbes_system6detail37variable_data_expression_substitutionclERKNS_4data8variableE	2
_ZN5mcrl211pbes_system6detail14pfnf_traverser5enterERKNS0_6existsE	3
_ZN5mcrl211pbes_system6detail14pfnf_traverser5leaveERKNS0_6existsE	3
_ZN5mcrl211pbes_system6detail25pfnf_traverser_expression10substituteERKNS1_30variable_variable_substitutionE	3
_ZN5mcrl211pbes_system6detail37variable_data_expression_substitutionC2ERKNS1_30variable_variable_substitutionE	3
_ZNK5mcrl211pbes_system6detail30variable_variable_substitutionclERKN7atermpp9term_listINS_4data8variableEEE	4
_ZNK5mcrl211pbes_system6detail30variable_variable_substitutionclERKNS_4data8variableE	6
_ZN5mcrl211pbes_system6detail6concatISt6vectorINS0_36propositional_variable_instantiationESaIS4_EEEET_RKS7_S9_	10
_ZN5mcrl211pbes_system6detail14pfnf_traverser5enterERKNS0_6forallE	13
_ZN5mcrl211pbes_system6detail14pfnf_traverser5leaveERKNS0_6forallE	13
_ZNK5mcrl211pbes_system6detail14pfnf_traverser8evaluateEv	19
_ZN5mcrl211pbes_system6detail14pfnf_traverser5leaveERKNS0_3or_E	22
_ZNK5mcrl211pbes_system6detail14pfnf_traverser7make_orERKNS1_25pfnf_traverser_expressionES5_	22
_ZN5mcrl211pbes_system6detail14pfnf_traverser5leaveERKNS0_4and_E	24
_ZN5mcrl211pbes_system6detail6concatISt6vectorINS1_26pfnf_traverser_implicationESaIS4_EEEET_RKS7_S9_	24
_ZN5mcrl211pbes_system6detail14pfnf_traverser5enterERKNS_4data15data_expressionE	31
_ZN5mcrl211pbes_system6detail14pfnf_traverser5enterERKNS0_36propositional_variable_instantiationE	34
_ZNK5mcrl211pbes_system6detail14pfnf_traverser8make_notERKNS1_25pfnf_traverser_expressionE	44
_ZN5mcrl211pbes_system6detail14pfnf_traverser20resolve_name_clashesERNS1_25pfnf_traverser_expressionES4_	46
_ZN5mcrl211pbes_system6detail6concatISt6vectorISt4pairIbN7atermpp9term_listINS_4data8variableEEEESaISA_EEEET_RKSD_SF_	46
_ZZNK5mcrl211pbes_system6detail14pfnf_traverser8evaluateEvENKUlRKNS0_15pbes_expressionES5_E_clES5_S5_	55
_ZNK5mcrl211pbes_system6detail14pfnf_traverser8make_andERKNS1_25pfnf_traverser_expressionES5_	65
_ZN5mcrl211pbes_system6detail26pfnf_traverser_implicationC2ERKN7atermpp9term_applINS3_5atermEEERKSt6vectorINS0_36propositional_variable_instantiationESaISA_EE	75
_ZN5mcrl211pbes_system6detail25pfnf_traverser_expressionC2ERKN7atermpp9term_applINS3_5atermEEERKSt6vectorISt4pairIbNS3_9term_listINS_4data8variableEEEESaISF_EERKS9_INS1_26pfnf_traverser_implicationESaISK_EE	80
_ZN5mcrl211pbes_system6detail25pfnf_traverser_expressionC2ERKN7atermpp9term_applINS3_5atermEEE	201

Generated by: LCOV version 1.14