LCOV - code coverage report

Current view: top level - pbes/source - pbes_explorer.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 754 942 80.0 % Date: 2024-04-19 03:43:27 Functions: 76 97 78.4 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system8explorer10true_stateEv	0
_ZN5mcrl211pbes_system8explorer11false_stateEv	0
_ZN5mcrl211pbes_system8lts_info15state_to_stringB5cxx11ERKNS0_12ltsmin_stateE	0
_ZN5mcrl211pbes_system8lts_info5resetERKNS0_15pbes_expressionERKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessISB_ESaISB_EE	0
_ZN5mcrl211pbes_system8lts_type14add_edge_labelERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES9_	0
_ZNK5mcrl211pbes_system12ltsmin_state15state_to_stringB5cxx11Ev	0
_ZNK5mcrl211pbes_system12ltsmin_stateeqERKS1_	0
_ZNK5mcrl211pbes_system12ltsmin_stateltERKS1_	0
_ZNK5mcrl211pbes_system8lts_info13get_variablesB5cxx11Ev	0
_ZNK5mcrl211pbes_system8lts_info20get_transition_typesEv	0
_ZNK5mcrl211pbes_system8lts_info20get_variable_symbolsB5cxx11Ev	0
_ZNK5mcrl211pbes_system8lts_info23get_variable_parametersB5cxx11Ev	0
_ZNK5mcrl211pbes_system8lts_info23get_variable_prioritiesB5cxx11Ev	0
_ZNK5mcrl211pbes_system8lts_type15get_edge_labelsB5cxx11Ev	0
_ZNK5mcrl211pbes_system8lts_type15get_state_typesB5cxx11Ev	0
_ZNK5mcrl211pbes_system8lts_type16get_state_labelsB5cxx11Ev	0
_ZNK5mcrl211pbes_system8lts_type19get_state_type_nameB5cxx11Ei	0
_ZNK5mcrl211pbes_system8lts_type20get_edge_label_typesB5cxx11Ev	0
_ZNK5mcrl211pbes_system8lts_type21get_state_label_typesB5cxx11Ev	0
_ZNK5mcrl211pbes_system8lts_type25get_number_of_edge_labelsEv	0
_ZNK5mcrl211pbes_system8lts_type26get_number_of_state_labelsEv	0
_ZN5mcrl211pbes_system8explorerC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES9_bb	2
_ZN5mcrl211pbes_system8explorerC2ERKNS0_4pbesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEbb	4
_ZN5mcrl211pbes_system12ltsmin_stateC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	6
_ZN5mcrl211pbes_system8explorer13initial_stateEPi	6
_ZN5mcrl211pbes_system8explorerD2Ev	6
_ZN5mcrl211pbes_system8lts_info16compute_lts_typeEv	6
_ZN5mcrl211pbes_system8lts_info25compute_dependency_matrixEv	6
_ZN5mcrl211pbes_system8lts_info25compute_transition_groupsEv	6
_ZN5mcrl211pbes_system8lts_infoC2ERNS0_4pbesEPNS0_6detail22pbes_greybox_interfaceEbb	6
_ZNK5mcrl211pbes_system8explorer17get_initial_stateEv	6
_ZNK5mcrl211pbes_system8lts_info15get_read_matrixEv	6
_ZNK5mcrl211pbes_system8lts_info16get_write_matrixEv	6
_ZNK5mcrl211pbes_system8lts_info20get_number_of_groupsEv	6
_ZNK5mcrl211pbes_system8lts_info21get_dependency_matrixEv	6
_ZN5mcrl211pbes_system8lts_info19get_param_signatureERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES9_	7
_ZN5mcrl211pbes_system8lts_info21is_pass_through_stateERKNS0_36propositional_variable_instantiationE	8
_ZN5mcrl211pbes_system8lts_type15add_state_labelERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES9_	12
_ZN5mcrl211pbes_system8lts_typeC2Ei	12
_ZN5mcrl211pbes_system8lts_typeD2Ev	12
_ZN5mcrl211pbes_system8lts_info17get_default_valueEi	14
_ZNK5mcrl211pbes_system8lts_type25get_number_of_state_typesEv	18
_ZN5mcrl211pbes_system8lts_type9add_stateERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES9_	20
_ZN5mcrl211pbes_system8lts_info17get_param_indicesERKN7atermpp9term_listINS_4data8variableEEE	26
_ZN5mcrl211pbes_system8lts_info18get_param_sequenceB5cxx11ERKN7atermpp9term_listINS_4data8variableEEE	26
_ZN5mcrl211pbes_system8lts_info25get_param_index_positionsERKN7atermpp9term_listINS_4data8variableEEE	26
_ZN5mcrl211pbes_system8lts_info25is_read_dependent_propvarEi	26
_ZN5mcrl211pbes_system8lts_info26is_write_dependent_propvarEi	26
_ZN5mcrl211pbes_system8lts_info41split_expression_and_substitute_variablesERKNS0_15pbes_expressionEiNS0_21parity_game_generator14operation_typeESt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessISD_ESaISD_EE	28
_ZN5mcrl211pbes_system8lts_info4usedB5cxx11ERKNS0_15pbes_expressionE	34
_ZN5mcrl211pbes_system8lts_info6copiedB5cxx11ERKNS0_15pbes_expressionE	34
_ZN5mcrl211pbes_system8lts_info13get_param_setB5cxx11ERKN7atermpp9term_listINS_4data8variableEEE	38
_ZN5mcrl211pbes_system8lts_info2tfERKNS0_15pbes_expressionE	42
_ZN5mcrl211pbes_system8lts_info27is_read_dependent_parameterEii	66
_ZN5mcrl211pbes_system8lts_info28is_write_dependent_parameterEii	66
_ZN5mcrl211pbes_system8lts_info9get_indexERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	68
_ZN5mcrl211pbes_system8lts_info7changedB5cxx11ERKNS0_15pbes_expressionE	72
_ZNK5mcrl211pbes_system8lts_type15get_state_namesB5cxx11Ev	76
_ZN5mcrl211pbes_system8lts_info3occB5cxx11ERKNS0_15pbes_expressionE	192
_ZN5mcrl211pbes_system8lts_info4freeB5cxx11ERKNS0_15pbes_expressionE	224
_ZN5mcrl211pbes_system8lts_info15count_variablesERKNS0_15pbes_expressionE	368
_ZN5mcrl211pbes_system8lts_info6copiedERKNS0_15pbes_expressionERKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessISB_ESaISB_EE	436
_ZN5mcrl211pbes_system8lts_info4usedERKNS0_15pbes_expressionERKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessISB_ESaISB_EE	540
_ZN5mcrl211pbes_system8explorer14get_successorsERKNS0_12ltsmin_stateE	866
_ZN5mcrl211pbes_system8explorer14get_successorsERKNS0_12ltsmin_stateEi	866
_ZNK5mcrl211pbes_system8lts_info26get_transition_expressionsEv	866
_ZN5mcrl211pbes_system8lts_info7changedERKNS0_15pbes_expressionERKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessISB_ESaISB_EE	952
_ZN5mcrl211pbes_system6detail6map_atISt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEENS0_21parity_game_generator14operation_typeESt4lessIS9_ESaISt4pairIKS9_SB_EEEEENT_11mapped_typeERKSJ_NSJ_8key_typeE	1732
_ZN5mcrl211pbes_system8explorer17from_state_vectorERKPi	1732
_ZNK5mcrl211pbes_system12ltsmin_state18to_pbes_expressionEv	1732
_ZNK5mcrl211pbes_system8lts_info18get_variable_typesB5cxx11Ev	1732
_ZN5mcrl211pbes_system8lts_info19get_param_signatureB5cxx11ERKNS_4data8variableE	1860
_ZN5mcrl211pbes_system6detail6map_atISt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS9_SaIS9_EESt4lessIS9_ESaISt4pairIKS9_SC_EEEEENT_11mapped_typeERKSK_NSK_8key_typeE	3366
_ZN5mcrl211pbes_system8explorer15to_state_vectorERKNS0_12ltsmin_stateEPiS4_RKS5_	3366
_ZNK5mcrl211pbes_system8lts_info16get_reset_optionEv	3366
_ZNK5mcrl211pbes_system8lts_info33get_variable_parameter_signaturesB5cxx11Ev	3366
_ZN5mcrl211pbes_system8explorer16get_string_indexERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	4572
_ZN5mcrl211pbes_system12ltsmin_stateC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_15pbes_expressionE	5098
_ZN5mcrl211pbes_system6detail6map_atISt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIiSaIiEESt4lessIS9_ESaISt4pairIKS9_SC_EEEEENT_11mapped_typeERKSK_NSK_8key_typeE	5098
_ZNK5mcrl211pbes_system8explorer9get_stateERKNS0_36propositional_variable_instantiationE	5098
_ZNK5mcrl211pbes_system8lts_info30get_variable_parameter_indicesB5cxx11Ev	5098
_ZNK5mcrl211pbes_system8lts_info29get_transition_variable_namesB5cxx11Ev	5168
_ZN5mcrl211pbes_system6detail6map_atISt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES3_IiiSt4lessIiESaISt4pairIKiiEEESA_IS9_ESaISC_IKS9_SG_EEEEENT_11mapped_typeERKSM_NSM_8key_typeE	9168
_ZNK5mcrl211pbes_system8lts_info38get_variable_parameter_index_positionsB5cxx11Ev	9168
_ZN5mcrl211pbes_system8explorer16get_string_valueB5cxx11Ei	9400
_ZN5mcrl211pbes_system8explorer14string_to_dataERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	9998
_ZNK5mcrl211pbes_system12ltsmin_state20get_parameter_valuesEv	12198
_ZN5mcrl211pbes_system8explorer9get_indexEiRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	13364
_ZN5mcrl211pbes_system8explorer9get_valueB5cxx11Eii	13364
_ZN5mcrl211pbes_system8explorer15get_value_indexEiRKNS_4data15data_expressionE	13622
_ZNK5mcrl211pbes_system8lts_type16get_state_lengthEv	13730
_ZN5mcrl211pbes_system12ltsmin_state19add_parameter_valueERKNS_4data15data_expressionE	13926
_ZN5mcrl211pbes_system8explorer14get_data_valueEii	15138
_ZNK5mcrl211pbes_system8explorer8get_infoEv	16742
_ZNK5mcrl211pbes_system12ltsmin_state12get_variableB5cxx11Ev	20224
_ZNK5mcrl211pbes_system8lts_type17get_state_type_noEi	27696
_ZNK5mcrl211pbes_system8lts_info12get_lts_typeEv	41352

Generated by: LCOV version 1.14