LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes/detail - stategraph_local_algorithm.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 369 598 61.7 % Date: 2024-05-04 03:44:52 Functions: 30 41 73.2 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm11vertex_pairC2EPKNS1_31local_control_flow_graph_vertexES6_m	0
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm16print_edge_indexB5cxx11Ev	0
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm18compute_edge_indexEv	0
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm19add_equation_labelsERSt3setINS2_19equation_label_pairESt4lessIS4_ESaIS4_EERKNS1_31local_control_flow_graph_vertexE	0
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm19equation_label_pairC2ERKN7atermpp12aterm_stringEm	0
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm38compute_control_flow_marking_efficientEv	0
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm45compute_control_flow_marking_using_edge_indexEv	0
_ZNK5mcrl211pbes_system6detail26stategraph_local_algorithm11vertex_pairltERKS3_	0
_ZNK5mcrl211pbes_system6detail26stategraph_local_algorithm16print_belong_setB5cxx11ERKNS1_19stategraph_equationERKSt3setImSt4lessImESaImEE	0
_ZNK5mcrl211pbes_system6detail26stategraph_local_algorithm16print_parametersB5cxx11ERKN7atermpp12aterm_stringERKSt3setImSt4lessImESaImEE	0
_ZNK5mcrl211pbes_system6detail26stategraph_local_algorithm19equation_label_pairltERKS3_	0
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm15compute_belongsEv	1
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm24print_marking_statisticsEv	1
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm28compute_control_flow_markingEv	1
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm33compute_local_control_flow_graphsEv	1
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm38compute_extra_local_control_flow_graphEv	1
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm3runEv	1
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithmC2ERKNS0_4pbesERKNS0_22pbesstategraph_optionsE	1
_ZNK5mcrl211pbes_system6detail26stategraph_local_algorithm13print_belongsEv	1
_ZNK5mcrl211pbes_system6detail26stategraph_local_algorithm16belongs_containsERKNS1_16belongs_relationERKN7atermpp12aterm_stringERKNS_4data8variableE	1
_ZNK5mcrl211pbes_system6detail26stategraph_local_algorithm26print_control_flow_markingEv	1
_ZNK5mcrl211pbes_system6detail26stategraph_local_algorithm31print_local_control_flow_graphsEv	1
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm15compute_belongsINS1_23default_rules_predicateEEENS1_16belongs_relationERKNS1_24local_control_flow_graphET_	2
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm32compute_local_control_flow_graphERKSt3setINS1_31local_control_flow_graph_vertexESt4lessIS4_ESaIS4_EERKSt3mapIN7atermpp12aterm_stringEmS5_ISD_ESaISt4pairIKSD_mEEE	2
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm32compute_local_control_flow_graphERKSt3setImSt4lessImESaImEERKS3_INS_4data15data_expressionES4_ISB_ESaISB_EE	2
_ZNK5mcrl211pbes_system6detail26stategraph_local_algorithm13print_belongsB5cxx11ERKNS1_16belongs_relationE	2
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm14remove_belongsERSt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKN7atermpp12aterm_stringERKNS1_16belongs_relationEm	4
_ZNK5mcrl211pbes_system6detail26stategraph_local_algorithm17has_incoming_edgeERKNS1_24local_control_flow_graphERKNS1_31local_control_flow_graph_vertexERKN7atermpp12aterm_stringEm	4
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm14marking_updateERKNS1_31local_control_flow_graph_vertexEmRKNS_4data8variableERKN7atermpp9term_listINS6_15data_expressionEEERKNS1_19stategraph_equationERKNS1_16belongs_relationE	6
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm4rewrINS_4data28mutable_indexed_substitutionINS4_8variableENS4_15data_expressionEEEEES7_RKS7_T_	6
_ZNK5mcrl211pbes_system6detail16belongs_relation5beginEv	6
_ZNK5mcrl211pbes_system6detail26stategraph_local_algorithm20find_parameter_indexERKSt6vectorINS_4data8variableESaIS5_EERKS5_	6
_ZNK5mcrl211pbes_system6detail26stategraph_local_algorithm21significant_variablesERKNS1_31local_control_flow_graph_vertexE	6
_ZN5mcrl211pbes_system6detail23default_rules_predicateC2ERKNS1_24local_control_flow_graphE	11
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm19update_marking_ruleERKNS1_16belongs_relationERKNS1_31local_control_flow_graph_vertexEmS8_b	12
_ZN5mcrl211pbes_system6detail26stategraph_local_algorithm20belongs_intersectionERKSt3setINS_4data8variableESt4lessIS5_ESaIS5_EERKNS1_16belongs_relationERKN7atermpp12aterm_stringE	12
_ZN5mcrl211pbes_system6detail16belongs_relationixERKN7atermpp12aterm_stringE	13
_ZNK5mcrl211pbes_system6detail16belongs_relation4findERKN7atermpp12aterm_stringE	13
_ZNK5mcrl211pbes_system6detail23default_rules_predicateclERKN7atermpp12aterm_stringEm	15
_ZNK5mcrl211pbes_system6detail16belongs_relationixERKN7atermpp12aterm_stringE	18
_ZNK5mcrl211pbes_system6detail16belongs_relation3endEv	19

Generated by: LCOV version 1.14