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