LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - data_specification.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 266 275 96.7 % Date: 2024-04-13 03:38:08 Functions: 45 46 97.8 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data12find_mappingERKNS0_18data_specificationERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	10
_ZN5mcrl24data14find_equationsERKNS0_18data_specificationERKNS0_15data_expressionE	1
_ZN5mcrl24data18data_specification11add_mappingERKNS0_15function_symbolE	1671
_ZN5mcrl24data18data_specification12add_equationERKNS0_13data_equationE	2224
_ZN5mcrl24data18data_specification14remove_mappingERKNS0_15function_symbolE	2
_ZN5mcrl24data18data_specification15add_constructorERKNS0_15function_symbolE	137
_ZN5mcrl24data18data_specification15remove_equationERKNS0_13data_equationE	2
_ZN5mcrl24data18data_specification18remove_constructorERKNS0_15function_symbolE	3
_ZN5mcrl24data18data_specification22user_defined_equationsEv	9126
_ZN5mcrl24data18data_specification23translate_user_notationEv	1708
_ZN5mcrl24data18data_specification27target_sort_to_function_map30group_functions_by_target_sortISt6vectorINS0_15function_symbolESaIS5_EEEEvRSt3mapINS0_15sort_expressionES7_St4lessIS9_ESaISt4pairIKS9_S7_EEERKT_	781
_ZN5mcrl24data18data_specification27target_sort_to_function_map5resetISt6vectorINS0_15function_symbolESaIS5_EEEEvRKT_	26694
_ZN5mcrl24data18data_specification27target_sort_to_function_map6expireEv	20808
_ZN5mcrl24data18data_specification27target_sort_to_function_map7mappingEv	26694
_ZN5mcrl24data18data_specification27target_sort_to_function_mapC2Ev	61702
_ZN5mcrl24data18data_specificationC2ERKN7atermpp9term_applINS2_5atermEEE	3
_ZN5mcrl24data18data_specificationC2Ev	30776
_ZN5mcrl24data32function_and_mapping_identifiersERKNS0_18data_specificationE	528
_ZN5mcrl24data39order_variables_to_optimise_enumerationERKN7atermpp9term_listINS0_8variableEEERKNS0_18data_specificationE	576
_ZN5mcrl24datalsERSoRKNS0_18data_specificationE	0
_ZN5mcrl24dataplENS0_18data_specificationERKS1_	12
_ZNK5mcrl24data18data_specification11equal_sortsERKNS0_15sort_expressionES4_	24143
_ZNK5mcrl24data18data_specification12constructorsERKNS0_15sort_expressionEb	26624
_ZNK5mcrl24data18data_specification12constructorsEv	35548
_ZNK5mcrl24data18data_specification21user_defined_mappingsEv	10403
_ZNK5mcrl24data18data_specification22add_normalised_mappingERKNS0_15function_symbolE	1179922
_ZNK5mcrl24data18data_specification22user_defined_equationsEv	1175
_ZNK5mcrl24data18data_specification23add_normalised_equationERKNS0_13data_equationE	2726559
_ZNK5mcrl24data18data_specification23add_normalised_mappingsISt23_Rb_tree_const_iteratorINS0_15function_symbolEEEEvT_S6_	72131
_ZNK5mcrl24data18data_specification24add_data_types_for_sortsEv	10404
_ZNK5mcrl24data18data_specification24add_normalised_equationsISt23_Rb_tree_const_iteratorINS0_13data_equationEEEEvT_S6_	72131
_ZNK5mcrl24data18data_specification25cpp_implemented_functionsB5cxx11Ev	278596
_ZNK5mcrl24data18data_specification25user_defined_constructorsEv	10381
_ZNK5mcrl24data18data_specification26add_normalised_constructorERKNS0_15function_symbolE	82123
_ZNK5mcrl24data18data_specification27add_normalised_constructorsISt23_Rb_tree_const_iteratorINS0_15function_symbolEEEEvT_S6_	72131
_ZNK5mcrl24data18data_specification35add_standard_mappings_and_equationsERKNS0_15sort_expressionERSt3setINS0_15function_symbolESt4lessIS6_ESaIS6_EERS5_INS0_13data_equationES7_ISC_ESaISC_EEb	72141
_ZNK5mcrl24data18data_specification40add_normalised_cpp_implemented_functionsERKSt3mapINS0_15function_symbolESt4pairISt8functionIFNS0_15data_expressionERKS6_EENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEESt4lessIS3_ESaIS4_IKS3_SH_EEE	72131
_ZNK5mcrl24data18data_specification40import_data_type_for_system_defined_sortERKNS0_15sort_expressionE	72131
_ZNK5mcrl24data18data_specification40normalise_data_specification_if_requiredEv	374051
_ZNK5mcrl24data18data_specification42data_is_not_necessarily_normalised_anymoreEv	14856
_ZNK5mcrl24data18data_specification48insert_mappings_constructors_for_structured_sortERKNS0_15structured_sortERSt3setINS0_15function_symbolESt4lessIS6_ESaIS6_EESB_RS5_INS0_13data_equationES7_ISC_ESaISC_EEb	3496
_ZNK5mcrl24data18data_specification8mappingsERKNS0_15sort_expressionE	70
_ZNK5mcrl24data18data_specification8mappingsEv	6158
_ZNK5mcrl24data18data_specification9equationsEv	2898
_ZNK5mcrl24data18data_specificationeqERKS1_	7
_ZZN5mcrl24data18data_specification27target_sort_to_function_map30group_functions_by_target_sortISt6vectorINS0_15function_symbolESaIS5_EEEEvRSt3mapINS0_15sort_expressionES7_St4lessIS9_ESaISt4pairIKS9_S7_EEERKT_ENKUlRKS5_E_clESM_	96257

Generated by: LCOV version 1.14