LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - quantifier_propagate.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 141 163 86.5 % Date: 2024-05-01 03:37:31 Functions: 21 25 84.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail10quantifier13add_variablesERKN7atermpp9term_listINS_4data8variableEEE	0
_ZN5mcrl211pbes_system6detail28quantifier_propagate_builder5enterERKNS0_3impE	0
_ZN5mcrl211pbes_system6detail28quantifier_propagate_builder5enterERKNS0_4and_E	0
_ZN5mcrl211pbes_system6detail28quantifier_propagate_builder5enterERKNS0_4not_E	0
_ZN5mcrl211pbes_system6detail28quantifier_propagate_builder5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsE	1
_ZNK5mcrl211pbes_system6detail10quantifier9is_forallEv	1
_ZN5mcrl211pbes_system6detail12make_exists_ESt3setINS_4data8variableESt4lessIS4_ESaIS4_EERKNS0_15pbes_expressionE	2
_ZNK5mcrl211pbes_system6detail10quantifier17make_expr_excludeERKSt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKNS0_15pbes_expressionE	3
_ZNK5mcrl211pbes_system6detail10quantifier22make_expr_include_onlyERKSt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKNS0_15pbes_expressionE	3
_ZN5mcrl211pbes_system20quantifier_propagateERKNS0_4pbesE	4
_ZN5mcrl211pbes_system20quantifier_propagateERNS0_4pbesE	4
_ZN5mcrl211pbes_system6detail10quantifierC2EbRKN7atermpp9term_listINS_4data8variableEEE	4
_ZN5mcrl211pbes_system6detail12make_forall_ESt3setINS_4data8variableESt4lessIS4_ESaIS4_EERKNS0_15pbes_expressionE	4
_ZZN5mcrl211pbes_system20quantifier_propagateERNS0_4pbesEENKUlRKNS0_13pbes_equationEE_clES5_	4
_ZN5mcrl211pbes_system6detail28quantifier_propagate_builder5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallE	6
_ZN5mcrl211pbes_system6detail28quantifier_propagate_builder5enterERKNS0_3or_E	6
_ZNK5mcrl211pbes_system6detail10quantifier9make_exprERKSt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKNS0_15pbes_expressionE	6
_ZN5mcrl211pbes_system6detail28quantifier_propagate_builder16apply_quantifierEbRKN7atermpp9term_listINS_4data8variableEEERKNS0_15pbes_expressionE	7
_ZN5mcrl211pbes_system6detail28quantifier_propagate_builder5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationE	7
_ZNK5mcrl211pbes_system6detail28quantifier_propagate_builder20make_quantifier_listERKNSt7__cxx114listINS0_15pbes_expressionESaIS5_EEE	7
_ZN5mcrl211pbes_system6detail20quantifier_propagateERNSt7__cxx114listISt4pairIN7atermpp12aterm_stringENS0_13pbes_equationEESaIS8_EEERNS_4data24set_identifier_generatorESt3mapIS6_S7_St4lessIS6_ESaIS4_IKS6_S7_EEERNS0_15pbes_expressionE	8
_ZN5mcrl211pbes_system6detail28quantifier_propagate_builderC2ERNSt7__cxx114listISt4pairIN7atermpp12aterm_stringENS0_13pbes_equationEESaIS9_EEERNS_4data24set_identifier_generatorERKSt3mapIS7_S8_St4lessIS7_ESaIS5_IKS7_S8_EEE	8
_ZN5mcrl211pbes_system6detail15make_quantifierEbRKN7atermpp9term_listINS_4data8variableEEERKNS0_15pbes_expressionE	10
_ZN5mcrl211pbes_system6detail28quantifier_propagate_builder13find_equationERKNS0_36propositional_variable_instantiationE	10
_ZNK5mcrl211pbes_system6detail10quantifier9variablesEv	15

Generated by: LCOV version 1.14