LCOV - mcrl2_coverage.info.cleaned - pbes/include/mcrl2/pbes/significant_variables.h

LCOV - code coverage report

Current view:	top level - pbes/include/mcrl2/pbes - significant_variables.h (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	35	42	83.3 %
Date:	2024-05-01 03:37:31	Functions:	10	12	83.3 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl211pbes_system6detail31significant_variables_traverser5leaveERKNS0_3or_E	0
_ZN5mcrl211pbes_system6detail31significant_variables_traverser5leaveERKNS0_6existsE	0
_ZN5mcrl211pbes_system6detail31significant_variables_traverser3topEv	2
_ZN5mcrl211pbes_system6detail31significant_variables_traverser5leaveERKNS0_6forallE	2
_ZN5mcrl211pbes_system6detail31significant_variables_traverser5leaveERKNS0_3impE	6
_ZN5mcrl211pbes_system6detail31significant_variables_traverser5leaveERKNS0_4and_E	8
_ZN5mcrl211pbes_system6detail31significant_variables_traverser5leaveERKNS0_36propositional_variable_instantiationE	9
_ZN5mcrl211pbes_system21significant_variablesERKNS0_15pbes_expressionE	10
_ZN5mcrl211pbes_system6detail31significant_variables_traverser4joinEv	14
_ZN5mcrl211pbes_system6detail31significant_variables_traverser5leaveERKNS_4data15data_expressionE	15
_ZN5mcrl211pbes_system6detail31significant_variables_traverser3popEv	28
_ZN5mcrl211pbes_system6detail31significant_variables_traverser4pushERKSt3setINS_4data8variableESt4lessIS5_ESaIS5_EE	38