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-21 03:44:01
Functions:
45
46
97.8 %
Legend:
Lines:
hit
not hit
Function Name
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
_ZN5mcrl24data18data_specification18remove_constructorERKNS0_15function_symbolE
3
_ZN5mcrl24data18data_specificationC2ERKN7atermpp9term_applINS2_5atermEEE
3
_ZNK5mcrl24data18data_specificationeqERKS1_
7
_ZN5mcrl24data12find_mappingERKNS0_18data_specificationERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
10
_ZN5mcrl24dataplENS0_18data_specificationERKS1_
12
_ZNK5mcrl24data18data_specification8mappingsERKNS0_15sort_expressionE
70
_ZN5mcrl24data18data_specification15add_constructorERKNS0_15function_symbolE
137
_ZN5mcrl24data32function_and_mapping_identifiersERKNS0_18data_specificationE
528
_ZN5mcrl24data39order_variables_to_optimise_enumerationERKN7atermpp9term_listINS0_8variableEEERKNS0_18data_specificationE
576
_ZN5mcrl24data18data_specification27target_sort_to_function_map30group_functions_by_target_sortISt6vectorINS0_15function_symbolESaIS5_EEEEvRSt3mapINS0_15sort_expressionES7_St4lessIS9_ESaISt4pairIKS9_S7_EEERKT_
781
_ZNK5mcrl24data18data_specification22user_defined_equationsEv
1175
_ZN5mcrl24data18data_specification11add_mappingERKNS0_15function_symbolE
1671
_ZN5mcrl24data18data_specification23translate_user_notationEv
1708
_ZN5mcrl24data18data_specification12add_equationERKNS0_13data_equationE
2224
_ZNK5mcrl24data18data_specification9equationsEv
2898
_ZNK5mcrl24data18data_specification48insert_mappings_constructors_for_structured_sortERKNS0_15structured_sortERSt3setINS0_15function_symbolESt4lessIS6_ESaIS6_EESB_RS5_INS0_13data_equationES7_ISC_ESaISC_EEb
3496
_ZNK5mcrl24data18data_specification8mappingsEv
6158
_ZN5mcrl24data18data_specification22user_defined_equationsEv
9126
_ZNK5mcrl24data18data_specification25user_defined_constructorsEv
10381
_ZNK5mcrl24data18data_specification21user_defined_mappingsEv
10403
_ZNK5mcrl24data18data_specification24add_data_types_for_sortsEv
10404
_ZNK5mcrl24data18data_specification42data_is_not_necessarily_normalised_anymoreEv
14856
_ZN5mcrl24data18data_specification27target_sort_to_function_map6expireEv
20808
_ZNK5mcrl24data18data_specification11equal_sortsERKNS0_15sort_expressionES4_
24143
_ZNK5mcrl24data18data_specification12constructorsERKNS0_15sort_expressionEb
26624
_ZN5mcrl24data18data_specification27target_sort_to_function_map5resetISt6vectorINS0_15function_symbolESaIS5_EEEEvRKT_
26694
_ZN5mcrl24data18data_specification27target_sort_to_function_map7mappingEv
26694
_ZN5mcrl24data18data_specificationC2Ev
30776
_ZNK5mcrl24data18data_specification12constructorsEv
35548
_ZN5mcrl24data18data_specification27target_sort_to_function_mapC2Ev
61702
_ZNK5mcrl24data18data_specification23add_normalised_mappingsISt23_Rb_tree_const_iteratorINS0_15function_symbolEEEEvT_S6_
72131
_ZNK5mcrl24data18data_specification24add_normalised_equationsISt23_Rb_tree_const_iteratorINS0_13data_equationEEEEvT_S6_
72131
_ZNK5mcrl24data18data_specification27add_normalised_constructorsISt23_Rb_tree_const_iteratorINS0_15function_symbolEEEEvT_S6_
72131
_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_specification35add_standard_mappings_and_equationsERKNS0_15sort_expressionERSt3setINS0_15function_symbolESt4lessIS6_ESaIS6_EERS5_INS0_13data_equationES7_ISC_ESaISC_EEb
72141
_ZNK5mcrl24data18data_specification26add_normalised_constructorERKNS0_15function_symbolE
82123
_ZZN5mcrl24data18data_specification27target_sort_to_function_map30group_functions_by_target_sortISt6vectorINS0_15function_symbolESaIS5_EEEEvRSt3mapINS0_15sort_expressionES7_St4lessIS9_ESaISt4pairIKS9_S7_EEERKT_ENKUlRKS5_E_clESM_
96257
_ZNK5mcrl24data18data_specification25cpp_implemented_functionsB5cxx11Ev
278596
_ZNK5mcrl24data18data_specification40normalise_data_specification_if_requiredEv
374051
_ZNK5mcrl24data18data_specification22add_normalised_mappingERKNS0_15function_symbolE
1179922
_ZNK5mcrl24data18data_specification23add_normalised_equationERKNS0_13data_equationE
2726559
Generated by:
LCOV version 1.14