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: 233 240 97.1 %
Date: 2020-10-20 00:45:57 Functions: 50 51 98.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl24datalsERSoRKNS0_18data_specificationE 0
_ZN5mcrl24data14find_equationsERKNS0_18data_specificationERKNS0_15data_expressionE 1
_ZN5mcrl24data18data_specification14remove_mappingERKNS0_15function_symbolE 2
_ZN5mcrl24data18data_specification15remove_equationERKNS0_13data_equationE 2
_ZNK5mcrl24data18data_specificationeqERKS1_ 2
_ZN5mcrl24data18data_specification18remove_constructorERKNS0_15function_symbolE 3
_ZN5mcrl24data18data_specificationC2ERKN7atermpp9term_applINS2_5atermEEE 3
_ZN5mcrl24data12find_mappingERKNS0_18data_specificationERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 10
_ZN5mcrl24dataplENS0_18data_specificationERKS1_ 10
_ZNK5mcrl24data18data_specification8mappingsERKNS0_15sort_expressionE 102
_ZN5mcrl24data18data_specification15add_constructorERKNS0_15function_symbolE 123
_ZN5mcrl24data18data_specificationC2EOS1_ 173
_ZN5mcrl24data18data_specification27target_sort_to_function_mapC2EOS2_ 346
_ZN5mcrl24data32function_and_mapping_identifiersERKNS0_18data_specificationE 676
_ZN5mcrl24data18data_specification27target_sort_to_function_map30group_functions_by_target_sortISt6vectorINS0_15function_symbolESaIS5_EEEEvRSt3mapINS0_15sort_expressionES7_St4lessIS9_ESaISt4pairIKS9_S7_EEERKT_ 900
_ZN5mcrl24data39order_variables_to_optimise_enumerationERKN7atermpp9term_listINS0_8variableEEERKNS0_18data_specificationE 1091
_ZN5mcrl24data18data_specification11add_mappingERKNS0_15function_symbolE 1696
_ZNK5mcrl24data18data_specification8mappingsEv 1987
_ZN5mcrl24data18data_specification12add_equationERKNS0_13data_equationE 2097
_ZNK5mcrl24data18data_specification48insert_mappings_constructors_for_structured_sortERKNS0_15structured_sortERSt3setINS0_15function_symbolESt4lessIS6_ESaIS6_EESB_RS5_INS0_13data_equationES7_ISC_ESaISC_EEb 2815
_ZNK5mcrl24data18data_specification9equationsEv 3788
_ZN5mcrl24data18data_specificationaSEOS1_ 3838
_ZNK5mcrl24data18data_specification42data_is_not_necessarily_normalised_anymoreEv 3906
_ZN5mcrl24data18data_specificationC2ERKS1_ 7431
_ZN5mcrl24data18data_specification27target_sort_to_function_mapaSEOS2_ 7676
_ZNK5mcrl24data18data_specification24add_data_types_for_sortsEv 8082
_ZNK5mcrl24data18data_specification22user_defined_equationsEv 10936
_ZNK5mcrl24data18data_specification25user_defined_constructorsEv 11016
_ZNK5mcrl24data18data_specification21user_defined_mappingsEv 11038
_ZN5mcrl24data18data_specificationaSERKS1_ 11236
_ZN5mcrl24data18data_specification27target_sort_to_function_mapC2ERKS2_ 14862
_ZNK5mcrl24data18data_specification12constructorsERKNS0_15sort_expressionE 15158
_ZN5mcrl24data18data_specification27target_sort_to_function_map5resetISt6vectorINS0_15function_symbolESaIS5_EEEEvRKT_ 15260
_ZN5mcrl24data18data_specification27target_sort_to_function_map7mappingEv 15260
_ZN5mcrl24data18data_specification27target_sort_to_function_map6expireEv 16164
_ZNK5mcrl24data18data_specification12constructorsEv 21259
_ZN5mcrl24data18data_specification27target_sort_to_function_mapaSERKS2_ 22472
_ZNK5mcrl24data18data_specification11equal_sortsERKNS0_15sort_expressionES4_ 23685
_ZNK5mcrl24data18data_specification23add_normalised_mappingsISt23_Rb_tree_const_iteratorINS0_15function_symbolEEEEvT_S6_ 52612
_ZNK5mcrl24data18data_specification24add_normalised_equationsISt23_Rb_tree_const_iteratorINS0_13data_equationEEEEvT_S6_ 52612
_ZNK5mcrl24data18data_specification27add_normalised_constructorsISt23_Rb_tree_const_iteratorINS0_15function_symbolEEEEvT_S6_ 52612
_ZNK5mcrl24data18data_specification40import_data_type_for_system_defined_sortERKNS0_15sort_expressionE 52612
_ZNK5mcrl24data18data_specification35add_standard_mappings_and_equationsERKNS0_15sort_expressionERSt3setINS0_15function_symbolESt4lessIS6_ESaIS6_EERS5_INS0_13data_equationES7_ISC_ESaISC_EEb 52622
_ZN5mcrl24data18data_specificationC2Ev 56066
_ZNK5mcrl24data18data_specification26add_normalised_constructorERKNS0_15function_symbolE 60011
_ZN5mcrl24data18data_specificationD2Ev 63798
_ZNK5mcrl24data18data_specification40normalise_data_specification_if_requiredEv 65983
_ZN5mcrl24data18data_specification27target_sort_to_function_mapC2Ev 112388
_ZN5mcrl24data18data_specification27target_sort_to_function_mapD2Ev 127596
_ZNK5mcrl24data18data_specification22add_normalised_mappingERKNS0_15function_symbolE 797801
_ZNK5mcrl24data18data_specification23add_normalised_equationERKNS0_13data_equationE 1903066

Generated by: LCOV version 1.13