LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes/detail - is_well_typed.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 37 125 29.6 % Date: 2024-04-13 03:38:08 Functions: 7 16 43.8 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail13is_well_typedERKNS0_13pbes_equationE	0
_ZN5mcrl211pbes_system6detail37has_quantifier_name_clashes_traverser3popEv	0
_ZN5mcrl211pbes_system6detail37has_quantifier_name_clashes_traverser4pushERKN7atermpp9term_listINS_4data8variableEEE	0
_ZN5mcrl211pbes_system6detail37has_quantifier_name_clashes_traverser5enterERKNS0_6existsE	0
_ZN5mcrl211pbes_system6detail37has_quantifier_name_clashes_traverser5enterERKNS0_6forallE	0
_ZN5mcrl211pbes_system6detail37has_quantifier_name_clashes_traverser5leaveERKNS0_6existsE	0
_ZN5mcrl211pbes_system6detail37has_quantifier_name_clashes_traverser5leaveERKNS0_6forallE	0
_ZN5mcrl211pbes_system6detail37has_quantifier_name_clashes_traverserC2Ev	0
_ZNK5mcrl211pbes_system6detail37has_quantifier_name_clashes_traverser22is_in_quantifier_stackERKN7atermpp12aterm_stringE	0
_ZN5mcrl211pbes_system6detail18is_well_typed_pbesERKSt3setINS_4data15sort_expressionESt4lessIS4_ESaIS4_EERKS2_INS3_8variableES5_ISB_ESaISB_EESG_RKS2_INS0_22propositional_variableES5_ISH_ESaISH_EERKS2_INS0_36propositional_variable_instantiationES5_ISN_ESaISN_EERKSN_RKNS3_18data_specificationE	284
_ZN5mcrl211pbes_system6detail35find_quantifier_variables_traverser5enterERKNS0_6forallE	289
_ZN5mcrl211pbes_system6detail35find_quantifier_variables_traverser5enterERKNS0_6existsE	563
_ZN5mcrl211pbes_system6detail22is_well_typed_equationERKNS0_13pbes_equationERKSt3setINS_4data15sort_expressionESt4lessIS7_ESaIS7_EERKS5_INS6_8variableES8_ISE_ESaISE_EERKNS6_18data_specificationE	1144
_ZN5mcrl211pbes_system6detail25find_quantifier_variablesERKNS0_15pbes_expressionE	1144
_ZZN5mcrl211pbes_system6detail18is_well_typed_pbesERKSt3setINS_4data15sort_expressionESt4lessIS4_ESaIS4_EERKS2_INS3_8variableES5_ISB_ESaISB_EESG_RKS2_INS0_22propositional_variableES5_ISH_ESaISH_EERKS2_INS0_36propositional_variable_instantiationES5_ISN_ESaISN_EERKSN_RKNS3_18data_specificationEENKUlRKSH_E_clESZ_	1144
_ZN5mcrl211pbes_system6detail20has_conflicting_typeISt23_Rb_tree_const_iteratorINS0_22propositional_variableEEEEbT_S6_RKNS0_36propositional_variable_instantiationERKNS_4data18data_specificationE	2669

Generated by: LCOV version 1.14