LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes/detail - bqnf_visitor.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 118 229 51.5 % Date: 2024-05-04 03:44:52 Functions: 16 21 76.2 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail12bqnf_visitor11print_briefB5cxx11ERKNS0_15pbes_expressionE	0
_ZN5mcrl211pbes_system6detail12bqnf_visitor19visit_bqnf_equationERKNS0_13pbes_equationE	0
_ZN5mcrl211pbes_system6detail12bqnf_visitor20visit_bounded_existsERKNS0_15fixpoint_symbolERKNS0_22propositional_variableERKNS0_15pbes_expressionE	0
_ZN5mcrl211pbes_system6detail12bqnf_visitor25visit_bqnf_equation_debugERKNS0_13pbes_equationE	0
_ZN5mcrl211pbes_system6detailL6indentEv	0
_ZN5mcrl211pbes_system6detail12bqnf_visitor20visit_bounded_forallERKNS0_15fixpoint_symbolERKNS0_22propositional_variableERKNS0_15pbes_expressionE	1
_ZN5mcrl211pbes_system6detail12bqnf_visitor24visit_bounded_quantifierERKNS0_15fixpoint_symbolERKNS0_22propositional_variableERKNS0_15pbes_expressionE	1
_ZN5mcrl211pbes_system6detail12bqnf_visitorD0Ev	1
_ZN5mcrl211pbes_system6detail12bqnf_visitor23visit_simple_expressionERKNS0_15fixpoint_symbolERKNS0_22propositional_variableERKNS0_15pbes_expressionE	2
_ZN5mcrl211pbes_system6detail12bqnf_visitorC2Ev	2
_ZN5mcrl211pbes_system6detail12bqnf_visitorD2Ev	2
_ZN5mcrl211pbes_system6detail12bqnf_visitor15visit_inner_andERKNS0_15fixpoint_symbolERKNS0_22propositional_variableERKNS0_15pbes_expressionE	3
_ZN5mcrl211pbes_system6detail12bqnf_visitor26visit_inner_bounded_existsERKNS0_15fixpoint_symbolERKNS0_22propositional_variableERKNS0_15pbes_expressionE	3
_ZN5mcrl211pbes_system6detail12bqnf_visitor26visit_inner_bounded_forallERKNS0_15fixpoint_symbolERKNS0_22propositional_variableERKNS0_15pbes_expressionE	3
_ZN5mcrl211pbes_system6detail12bqnf_visitor28visit_propositional_variableERKNS0_15fixpoint_symbolERKNS0_22propositional_variableERKNS0_15pbes_expressionE	3
_ZN5mcrl211pbes_system6detail12bqnf_visitor8visit_orERKNS0_15fixpoint_symbolERKNS0_22propositional_variableERKNS0_15pbes_expressionE	3
_ZN5mcrl211pbes_system6detail12bqnf_visitor21visit_bqnf_expressionERKNS0_15pbes_expressionE	4
_ZN5mcrl211pbes_system6detail12bqnf_visitor9visit_andERKNS0_15fixpoint_symbolERKNS0_22propositional_variableERKNS0_15pbes_expressionE	4
_ZN5mcrl211pbes_system6detail12bqnf_visitor21visit_bqnf_expressionERKNS0_15fixpoint_symbolERKNS0_22propositional_variableERKNS0_15pbes_expressionE	5
_ZN5mcrl211pbes_system6detailL10dec_indentEv	26
_ZN5mcrl211pbes_system6detailL10inc_indentEv	26

Generated by: LCOV version 1.14