LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes/detail - stategraph_global_reset_variables.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 0 197 0.0 % Date: 2024-05-04 03:44:52 Functions: 0 22 0.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail15reset_traverser3popEv	0
_ZN5mcrl211pbes_system6detail15reset_traverser3topEv	0
_ZN5mcrl211pbes_system6detail15reset_traverser4pushERKNS0_15pbes_expressionE	0
_ZN5mcrl211pbes_system6detail15reset_traverser5leaveERKNS0_36propositional_variable_instantiationE	0
_ZN5mcrl211pbes_system6detail15reset_traverser5leaveERKNS0_3impE	0
_ZN5mcrl211pbes_system6detail15reset_traverser5leaveERKNS0_3or_E	0
_ZN5mcrl211pbes_system6detail15reset_traverser5leaveERKNS0_4and_E	0
_ZN5mcrl211pbes_system6detail15reset_traverser5leaveERKNS0_4not_E	0
_ZN5mcrl211pbes_system6detail15reset_traverser5leaveERKNS0_6existsE	0
_ZN5mcrl211pbes_system6detail15reset_traverser5leaveERKNS0_6forallE	0
_ZN5mcrl211pbes_system6detail15reset_traverser5leaveERKNS_4data15data_expressionE	0
_ZN5mcrl211pbes_system6detail15reset_traverserC2ERNS1_32global_reset_variables_algorithmERKNS1_19stategraph_equationERm	0
_ZN5mcrl211pbes_system6detail15reset_variablesERNS1_32global_reset_variables_algorithmERKNS0_15pbes_expressionERKNS1_19stategraph_equationE	0
_ZN5mcrl211pbes_system6detail32global_reset_variables_algorithm13default_valueERKNS_4data15sort_expressionE	0
_ZN5mcrl211pbes_system6detail32global_reset_variables_algorithm14reset_variableERKNS0_36propositional_variable_instantiationERKNS1_19stategraph_equationEm	0
_ZN5mcrl211pbes_system6detail32global_reset_variables_algorithm27location_possibly_reachableINS1_32global_control_flow_graph_vertexEEEbRKN7atermpp12aterm_stringERKT_RKSt6vectorINS_4data15data_expressionESaISE_EERKNS1_19stategraph_equationEm	0
_ZN5mcrl211pbes_system6detail32global_reset_variables_algorithm27reset_variables_to_originalERNS0_4pbesE	0
_ZN5mcrl211pbes_system6detail32global_reset_variables_algorithm35compute_global_control_flow_markingINS1_25global_control_flow_graphEEEvRT_	0
_ZN5mcrl211pbes_system6detail32global_reset_variables_algorithm3runEv	0
_ZN5mcrl211pbes_system6detail32global_reset_variables_algorithmC2ERKNS0_4pbesERKNS0_22pbesstategraph_optionsE	0
_ZNK5mcrl211pbes_system6detail32global_reset_variables_algorithm18propvar_parametersERKN7atermpp12aterm_stringE	0
_ZNK5mcrl211pbes_system6detail32global_reset_variables_algorithm6resultEv	0

Generated by: LCOV version 1.14