LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes/detail - stategraph_algorithm.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 301 387 77.8 % Date: 2024-05-04 03:44:52 Functions: 34 44 77.3 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail11print_indexB5cxx11Em	0
_ZN5mcrl211pbes_system6detail20stategraph_algorithm10print_GCFPB5cxx11Ev	0
_ZN5mcrl211pbes_system6detail20stategraph_algorithm10print_LCFPB5cxx11Ev	0
_ZN5mcrl211pbes_system6detail20stategraph_algorithm29print_control_flow_parametersISt3mapIN7atermpp12aterm_stringESt6vectorIbSaIbEESt4lessIS6_ESaISt4pairIKS6_S9_EEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSM_RT_	0
_ZN5mcrl211pbes_system6detail20stategraph_algorithmD0Ev	0
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm22log_related_parametersERKN7atermpp12aterm_stringEmS6_mRKNS1_18predicate_variableERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm25print_connected_componentB5cxx11ERKSt3setImSt4lessImESaImEE	0
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm32is_global_control_flow_parameterERKN7atermpp12aterm_stringEm	0
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm8get_pbesEv	0
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm9print_cfpB5cxx11ERKN7atermpp12aterm_stringEm	0
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm12is_mapped_toISt3mapImNS_4data15data_expressionESt4lessImESaISt4pairIKmS6_EEEEEbRKT_RKNSE_8key_typeERKNSE_11mapped_typeE	2
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm2FVERKNS_4data15data_expressionE	6
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm20connected_componentsEv	26
_ZN5mcrl211pbes_system6detail20stategraph_algorithm14set_parametersERKNS1_15stategraph_pbesE	27
_ZN5mcrl211pbes_system6detail20stategraph_algorithm27remove_only_copy_componentsEv	27
_ZN5mcrl211pbes_system6detail20stategraph_algorithm28compute_connected_componentsEv	27
_ZN5mcrl211pbes_system6detail20stategraph_algorithm31compute_control_flow_parametersEv	27
_ZN5mcrl211pbes_system6detail20stategraph_algorithm31compute_related_GCFP_parametersEv	27
_ZN5mcrl211pbes_system6detail20stategraph_algorithm34compute_connected_component_valuesEv	27
_ZN5mcrl211pbes_system6detail20stategraph_algorithm35remove_invalid_connected_componentsEv	27
_ZN5mcrl211pbes_system6detail20stategraph_algorithm37compute_local_control_flow_parametersEv	27
_ZN5mcrl211pbes_system6detail20stategraph_algorithm38compute_global_control_flow_parametersEv	27
_ZN5mcrl211pbes_system6detail20stategraph_algorithm3runEv	27
_ZN5mcrl211pbes_system6detail20stategraph_algorithmC2ERKNS0_4pbesERKNS0_22pbesstategraph_optionsE	27
_ZN5mcrl211pbes_system6detail20stategraph_algorithmD2Ev	27
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm35print_final_control_flow_parametersEv	27
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm8simplifyERNS1_15stategraph_pbesE	27
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm4GCFPEv	31
_ZN5mcrl211pbes_system6detail20stategraph_algorithm34compute_connected_component_valuesERKSt3setImSt4lessImESaImEE	33
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm20has_only_copied_CFPsERKSt3setImSt4lessImESaImEE	34
_ZZN5mcrl211pbes_system6detail20stategraph_algorithm27remove_only_copy_componentsEvENKUlRKSt3setImSt4lessImESaImEEE_clES9_	34
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm27compute_connected_componentEmRSt6vectorIbSaIbEE	36
_ZZN5mcrl211pbes_system6detail20stategraph_algorithm35remove_invalid_connected_componentsEvENKUlRKSt3setImSt4lessImESaImEEE_clES9_	36
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm18is_not_only_copiedERKN7atermpp12aterm_stringEm	37
_ZN5mcrl211pbes_system6detail20stategraph_algorithm20relate_GCFP_verticesERKN7atermpp12aterm_stringEmS6_m	48
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm5printB5cxx11ERKNS1_11GCFP_vertexE	50
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm26print_connected_componentsEv	54
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm28is_valid_connected_componentERKSt3setImSt4lessImESaImEE	86
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm12is_mapped_toISt3mapImmSt4lessImESaISt4pairIKmmEEEEEbRKT_RKNSC_8key_typeERKNSC_11mapped_typeE	88
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm11start_timerERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	142
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm12finish_timerERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	142
_ZN5mcrl211pbes_system6detail20stategraph_algorithm19maps_to_and_is_GFCPERKSt3mapImmSt4lessImESaISt4pairIKmmEEEmRKN7atermpp12aterm_stringE	243
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm17is_GCFP_parameterERKN7atermpp12aterm_stringEm	409
_ZNK5mcrl211pbes_system6detail20stategraph_algorithm12is_undefinedISt3mapImNS_4data15data_expressionESt4lessImESaISt4pairIKmS6_EEEEEbRKT_RKNSE_8key_typeE	592

Generated by: LCOV version 1.14