LCOV - code coverage report

Current view: top level - data/source - data.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 134 184 72.8 % Date: 2024-04-17 03:40:49 Functions: 46 88 52.3 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data15normalize_sortsERKN7atermpp9term_listINS0_13data_equationEEERKNS0_18sort_specificationE	0
_ZN5mcrl24data16find_identifiersERKN7atermpp9term_listINS0_8variableEEE	0
_ZN5mcrl24data18find_all_variablesERKNS0_15function_symbolE	0
_ZN5mcrl24data18find_all_variablesERKNS0_8variableE	0
_ZN5mcrl24data2ppB5cxx11ERKN7atermpp9term_listINS0_10assignmentEEE	0
_ZN5mcrl24data2ppB5cxx11ERKN7atermpp9term_listINS0_13data_equationEEE	0
_ZN5mcrl24data2ppB5cxx11ERKN7atermpp9term_listINS0_15function_symbolEEE	0
_ZN5mcrl24data2ppB5cxx11ERKN7atermpp9term_listINS0_27structured_sort_constructorEEE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_10assignmentE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_11abstractionE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_11binder_typeE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_12where_clauseE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_13bag_containerE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_13exists_binderE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_13forall_binderE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_13function_sortE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_13lambda_binderE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_13set_containerE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_14container_typeE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_14fbag_containerE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_14fset_containerE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_14list_containerE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_15structured_sortE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_17bag_comprehensionE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_17set_comprehensionE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_18untyped_identifierE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_21assignment_expressionE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_22untyped_data_parameterE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_22untyped_possible_sortsE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_24bag_comprehension_binderE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_24set_comprehension_binderE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_27structured_sort_constructorE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_29untyped_identifier_assignmentE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_32untyped_set_or_bag_comprehensionE	0
_ZN5mcrl24data2ppB5cxx11ERKNS0_39untyped_set_or_bag_comprehension_binderE	0
_ZN5mcrl24data2ppB5cxx11ERKSt3setINS0_8variableESt4lessIS2_ESaIS2_EE	0
_ZN5mcrl24data2ppB5cxx11ERKSt6vectorINS0_15data_expressionESaIS2_EE	0
_ZN5mcrl24data2ppB5cxx11ERKSt6vectorINS0_15function_symbolESaIS2_EE	0
_ZN5mcrl24data2ppB5cxx11ERKSt6vectorINS0_15sort_expressionESaIS2_EE	0
_ZN5mcrl24data2ppB5cxx11ERKSt6vectorINS0_27structured_sort_constructorESaIS2_EE	0
_ZN5mcrl24data2ppB5cxx11ERKSt6vectorINS0_8variableESaIS2_EE	0
_ZN5mcrl24data6detail31parse_variable_declaration_listERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZN5mcrl24data24parse_sort_specificationERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	1
_ZN5mcrl24data2ppB5cxx11ERKNS0_12untyped_sortE	1
_ZN5mcrl24data2ppB5cxx11ERKSt6vectorINS0_10assignmentESaIS2_EE	1
_ZN5mcrl24data18find_all_variablesERKN7atermpp9term_listINS0_8variableEEE	2
_ZN5mcrl24data21find_sort_expressionsERKNS0_15data_expressionE	2
_ZN5mcrl24data15search_variableERKNS0_15data_expressionERKNS0_8variableE	4
_ZN5mcrl24data2ppB5cxx11ERKNS0_6existsE	4
_ZN5mcrl24data2ppB5cxx11ERKNS0_6lambdaE	4
_ZN5mcrl24data2ppB5cxx11ERKNS0_14container_sortE	6
_ZN5mcrl24data2ppB5cxx11ERKNS0_6forallE	6
_ZN5mcrl24data2ppB5cxx11ERKSt6vectorINS0_13data_equationESaIS2_EE	9
_ZN5mcrl24data18find_all_variablesERKN7atermpp9term_listINS0_15data_expressionEEE	10
_ZN5mcrl24data2ppB5cxx11ERKNS0_13data_equationE	10
_ZN5mcrl24data2ppB5cxx11ERKNS0_5aliasE	10
_ZN5mcrl24data14free_variablesERKNS0_15data_expressionE	15
_ZN5mcrl24data2ppB5cxx11ERKN7atermpp9term_listINS0_15sort_expressionEEE	28
_ZN5mcrl24data2ppB5cxx11ERKN7atermpp9term_listINS0_8variableEEE	28
_ZN5mcrl24data2ppB5cxx11ERKNS0_36structured_sort_constructor_argumentE	42
_ZN5mcrl24data2ppB5cxx11ERKNS0_10basic_sortE	43
_ZN5mcrl24data2ppB5cxx11ERKNS0_11applicationE	85
_ZN5mcrl24data21find_function_symbolsERKNS0_13data_equationE	112
_ZN5mcrl24data2ppB5cxx11ERKN7atermpp9term_listINS0_15data_expressionEEE	114
_ZN5mcrl24data6detail21parse_sort_expressionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	116
_ZN5mcrl24data15normalize_sortsERKN7atermpp9term_listINS0_8variableEEERKNS0_18sort_specificationE	124
_ZN5mcrl24data2ppB5cxx11ERKNS0_18data_specificationE	127
_ZN5mcrl24data6detail15parse_variablesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	142
_ZN5mcrl24data6detail28parse_data_specification_newERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	158
_ZN5mcrl24data18find_all_variablesERKNS0_15data_expressionE	312
_ZN5mcrl24data15normalize_sortsERSt6vectorINS0_13data_equationESaIS2_EERKNS0_18sort_specificationE	387
_ZN5mcrl24data23translate_user_notationERKNS0_15data_expressionE	696
_ZN5mcrl24data6detail21parse_data_expressionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	806
_ZN5mcrl24data19find_free_variablesERKN7atermpp9term_listINS0_15data_expressionEEE	1205
_ZN5mcrl24data2ppB5cxx11ERKNS0_21untyped_sort_variableE	1557
_ZN5mcrl24data2ppB5cxx11ERKNS0_15function_symbolE	1895
_ZN5mcrl24data21find_sort_expressionsERKNS0_13data_equationE	2220
_ZN5mcrl24data2ppB5cxx11ERKNS0_8variableE	2296
_ZN5mcrl24data23translate_user_notationERKNS0_13data_equationE	3793
_ZN5mcrl24data22substitution_variablesERKNS0_24mutable_map_substitutionISt3mapINS0_8variableENS0_15data_expressionESt4lessIS3_ESaISt4pairIKS3_S4_EEEEE	8723
_ZN5mcrl24data2ppB5cxx11ERKNS0_15sort_expressionE	12497
_ZN5mcrl24data2ppB5cxx11ERKNS0_15data_expressionE	12591
_ZN5mcrl24data21find_sort_expressionsERKNS0_15sort_expressionE	179119
_ZN5mcrl24data15normalize_sortsERKNS0_15sort_expressionERKNS0_18sort_specificationE	747509
_ZN5mcrl24data15normalize_sortsERKNS0_15data_expressionERKNS0_18sort_specificationE	1290306
_ZN5mcrl24data15normalize_sortsERKNS0_13data_equationERKNS0_18sort_specificationE	2726561
_ZN5mcrl24data19find_free_variablesERKNS0_15data_expressionE	3064892
_ZNK5mcrl24data15data_expression4sortEv	21756440

Generated by: LCOV version 1.14