LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes/detail - stategraph_graph.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 147 257 57.2 % Date: 2024-05-04 03:44:52 Functions: 39 77 50.6 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail18control_flow_graphINS1_32global_control_flow_graph_vertexEE11insert_edgeERKS3_mS6_	0
_ZN5mcrl211pbes_system6detail18control_flow_graphINS1_32global_control_flow_graph_vertexEE13compute_indexEv	0
_ZN5mcrl211pbes_system6detail18control_flow_graphINS1_32global_control_flow_graph_vertexEE13insert_vertexERKS3_	0
_ZN5mcrl211pbes_system6detail18control_flow_graphINS1_32global_control_flow_graph_vertexEEC2Ev	0
_ZN5mcrl211pbes_system6detail25global_control_flow_graphC2Ev	0
_ZN5mcrl211pbes_system6detail32global_control_flow_graph_vertexC2ERKN7atermpp12aterm_stringERKNS3_9term_listINS_4data15data_expressionEEE	0
_ZN5mcrl211pbes_system6detaillsERSoRKNS1_10GCFP_graphE	0
_ZN5mcrl211pbes_system6detaillsERSoRKNS1_31local_control_flow_graph_vertexE	0
_ZN5mcrl211pbes_system6detaillsERSoRKNS1_32global_control_flow_graph_vertexE	0
_ZN5mcrl211pbes_system6detaillsINS1_31local_control_flow_graph_vertexEEERSoS4_RKNS1_18control_flow_graphIT_EE	0
_ZN5mcrl211pbes_system6detaillsINS1_32global_control_flow_graph_vertexEEERSoS4_RKNS1_18control_flow_graphIT_EE	0
_ZN5mcrl211pbes_system6detailltERKNS1_32global_control_flow_graph_vertexES4_	0
_ZNK5mcrl211pbes_system6detail18control_flow_graphINS1_32global_control_flow_graph_vertexEE3endEv	0
_ZNK5mcrl211pbes_system6detail18control_flow_graphINS1_32global_control_flow_graph_vertexEE5beginEv	0
_ZNK5mcrl211pbes_system6detail18control_flow_graphINS1_32global_control_flow_graph_vertexEE5indexERKN7atermpp12aterm_stringE	0
_ZNK5mcrl211pbes_system6detail24local_control_flow_graph13print_markingB5cxx11Ev	0
_ZNK5mcrl211pbes_system6detail25global_control_flow_graph13print_markingB5cxx11Ev	0
_ZNK5mcrl211pbes_system6detail31local_control_flow_graph_vertex13print_markingB5cxx11Ev	0
_ZNK5mcrl211pbes_system6detail31local_control_flow_graph_vertex14marking_updateEv	0
_ZNK5mcrl211pbes_system6detail31local_control_flow_graph_vertex18set_marking_updateEmRKNS_4data8variableERKSt3setIS4_St4lessIS4_ESaIS4_EE	0
_ZNK5mcrl211pbes_system6detail32global_control_flow_graph_vertex11set_markingERKSt3setINS_4data8variableESt4lessIS5_ESaIS5_EE	0
_ZNK5mcrl211pbes_system6detail32global_control_flow_graph_vertex13print_markingB5cxx11Ev	0
_ZNK5mcrl211pbes_system6detail32global_control_flow_graph_vertex17marked_parametersEv	0
_ZNK5mcrl211pbes_system6detail32global_control_flow_graph_vertex19is_marked_parameterEm	0
_ZNK5mcrl211pbes_system6detail32global_control_flow_graph_vertex20add_marked_parameterEb	0
_ZNK5mcrl211pbes_system6detail32global_control_flow_graph_vertex24marking_variable_indicesERKNS1_15stategraph_pbesE	0
_ZNK5mcrl211pbes_system6detail32global_control_flow_graph_vertex25set_significant_variablesERKSt3setINS_4data8variableESt4lessIS5_ESaIS5_EE	0
_ZNK5mcrl211pbes_system6detail32global_control_flow_graph_vertex3sigEv	0
_ZNK5mcrl211pbes_system6detail32global_control_flow_graph_vertex4nameEv	0
_ZNK5mcrl211pbes_system6detail32global_control_flow_graph_vertex6valuesEv	0
_ZNK5mcrl211pbes_system6detail32global_control_flow_graph_vertex7markingEv	0
_ZNK5mcrl211pbes_system6detail32global_control_flow_graph_vertexeqERKS2_	0
_ZNK5mcrl211pbes_system6detail9add_edgesINS1_31local_control_flow_graph_vertexEE20print_outgoing_edgesB5cxx11Ev	0
_ZNK5mcrl211pbes_system6detail9add_edgesINS1_32global_control_flow_graph_vertexEE14incoming_edgesEv	0
_ZNK5mcrl211pbes_system6detail9add_edgesINS1_32global_control_flow_graph_vertexEE14outgoing_edgesEv	0
_ZNK5mcrl211pbes_system6detail9add_edgesINS1_32global_control_flow_graph_vertexEE20insert_incoming_edgeEPKS3_m	0
_ZNK5mcrl211pbes_system6detail9add_edgesINS1_32global_control_flow_graph_vertexEE20insert_outgoing_edgeEPKS3_m	0
_ZNK5mcrl211pbes_system6detail9add_edgesINS1_32global_control_flow_graph_vertexEE20print_outgoing_edgesB5cxx11Ev	0
_ZN5mcrl211pbes_system6detail18control_flow_graphINS1_31local_control_flow_graph_vertexEE6insertERKS3_	3
_ZN5mcrl211pbes_system6detail18control_flow_graphINS1_31local_control_flow_graph_vertexEEC2Ev	3
_ZN5mcrl211pbes_system6detail24local_control_flow_graphC2Ev	3
_ZN5mcrl211pbes_system6detail31local_control_flow_graph_vertexC2ERKN7atermpp12aterm_stringERKNS_4data15data_expressionE	3
_ZN5mcrl211pbes_system6detail24local_control_flow_graph11insert_edgeERSt3setIPKNS1_31local_control_flow_graph_vertexESt4lessIS6_ESaIS6_EERKNS1_15stategraph_pbesERS5_RKN7atermpp12aterm_stringEmRKNS_4data15data_expressionEm	4
_ZN5mcrl211pbes_system6detail18control_flow_graphINS1_31local_control_flow_graph_vertexEE11insert_edgeERKS3_mS6_	5
_ZNK5mcrl211pbes_system6detail24local_control_flow_graph11find_vertexERKN7atermpp12aterm_stringE	5
_ZN5mcrl211pbes_system6detail18control_flow_graphINS1_31local_control_flow_graph_vertexEEC2ERKS4_	6
_ZN5mcrl211pbes_system6detail24local_control_flow_graphC2ERKS2_	6
_ZNK5mcrl211pbes_system6detail31local_control_flow_graph_vertex11set_markingERKSt3setINS_4data8variableESt4lessIS5_ESaIS5_EE	6
_ZNK5mcrl211pbes_system6detail31local_control_flow_graph_vertex14extend_markingERKSt3setINS_4data8variableESt4lessIS5_ESaIS5_EE	6
_ZN5mcrl211pbes_system6detail18control_flow_graphINS1_31local_control_flow_graph_vertexEE13insert_vertexERKS3_	7
_ZN5mcrl211pbes_system6detail18control_flow_graphINS1_31local_control_flow_graph_vertexEE13compute_indexEv	9
_ZNK5mcrl211pbes_system6detail31local_control_flow_graph_vertexeqERKS2_	9
_ZN5mcrl211pbes_system6detail31local_control_flow_graph_vertexC2ERKN7atermpp12aterm_stringEmRKNS_4data8variableERKNS7_15data_expressionE	10
_ZN5mcrl211pbes_system6detail9add_edgesINS1_31local_control_flow_graph_vertexEE12remove_edgesEv	12
_ZNK5mcrl211pbes_system6detail18control_flow_graphINS1_31local_control_flow_graph_vertexEE9has_labelERKN7atermpp12aterm_stringEm	15
_ZNK5mcrl211pbes_system6detail9add_edgesINS1_31local_control_flow_graph_vertexEE14incoming_edgesEv	16
_ZNK5mcrl211pbes_system6detail9add_edgesINS1_31local_control_flow_graph_vertexEE20insert_incoming_edgeEPKS3_m	16
_ZNK5mcrl211pbes_system6detail9add_edgesINS1_31local_control_flow_graph_vertexEE20insert_outgoing_edgeEPKS3_m	16
_ZNK5mcrl211pbes_system6detail18control_flow_graphINS1_31local_control_flow_graph_vertexEE11find_vertexERKS3_	26
_ZNK5mcrl211pbes_system6detail9add_edgesINS1_31local_control_flow_graph_vertexEE14outgoing_edgesEv	43
_ZN5mcrl211pbes_system6detaillsERSoRKNS1_11LCFP_vertexE	52
_ZNK5mcrl211pbes_system6detail31local_control_flow_graph_vertex7markingEv	57
_ZNK5mcrl211pbes_system6detail10GCFP_graph8verticesEv	58
_ZN5mcrl211pbes_system6detail10GCFP_graph10add_vertexERKNS1_11GCFP_vertexE	65
_ZN5mcrl211pbes_system6detail11GCFP_vertexC2ERKN7atermpp12aterm_stringEmRKNS_4data8variableE	65
_ZNK5mcrl211pbes_system6detail11GCFP_vertex9neighborsEv	65
_ZNK5mcrl211pbes_system6detail10GCFP_graph5indexERKNS1_11GCFP_vertexE	75
_ZN5mcrl211pbes_system6detail11LCFP_vertexC2ERKN7atermpp12aterm_stringEmRKNS_4data8variableE	78
_ZN5mcrl211pbes_system6detail10GCFP_graph11find_vertexERKN7atermpp12aterm_stringEm	96
_ZN5mcrl211pbes_system6detail11GCFP_vertex9neighborsEv	96
_ZN5mcrl211pbes_system6detailltERKNS1_31local_control_flow_graph_vertexES4_	97
_ZNK5mcrl211pbes_system6detail11LCFP_vertex12has_variableEv	106
_ZNK5mcrl211pbes_system6detail31local_control_flow_graph_vertex5valueEv	116
_ZNK5mcrl211pbes_system6detail11LCFP_vertex8variableEv	118
_ZNK5mcrl211pbes_system6detail10GCFP_graph6vertexEm	651
_ZNK5mcrl211pbes_system6detail11LCFP_vertex5indexEv	719
_ZNK5mcrl211pbes_system6detail11LCFP_vertex4nameEv	1401

Generated by: LCOV version 1.14