LCOV - code coverage report
Current view:
top level
-
lps/include/mcrl2/lps
- add_binding.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
50
56
89.3 %
Date:
2024-05-04 03:44:52
Functions:
38
40
95.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl23lps35add_data_variable_traverser_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_S1_St15insert_iteratorISt3setINS3_8variableESt4lessIS8_ESaIS8_EEEEEE5applyERKNS3_12where_clauseE
0
_ZN5mcrl23lps35add_data_variable_traverser_bindingINS0_25data_expression_traverserENS_4data6detail30search_free_variable_traverserIS2_S1_EEE5applyERKNS3_12where_clauseE
0
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail30search_free_variable_traverserIS2_NS0_35add_data_variable_traverser_bindingEEEE5enterERKNS0_14action_summandE
3
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail30search_free_variable_traverserIS2_NS0_35add_data_variable_traverser_bindingEEEE5leaveERKNS0_14action_summandE
3
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_13specificationE
18
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_13specificationE
18
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_16deadlock_summandE
20
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_16deadlock_summandE
20
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_25stochastic_linear_processE
30
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_30stochastic_process_initializerE
30
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_25stochastic_linear_processE
30
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_30stochastic_process_initializerE
30
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_13specificationE
33
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_14linear_processE
33
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_13specificationE
33
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_14linear_processE
33
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_14linear_processE
53
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_14linear_processE
53
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_16deadlock_summandE
73
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_16deadlock_summandE
73
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_14action_summandE
87
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_14action_summandE
87
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_25stochastic_action_summandE
135
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_25stochastic_action_summandE
135
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_14action_summandE
145
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS0_6detail33replace_process_parameter_builderIS2_NS0_33add_data_variable_builder_bindingENS_4data24mutable_map_substitutionISt3mapINS6_8variableENS6_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_14action_summandE
145
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_14linear_processE
173
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_14linear_processE
173
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5enterERKNS0_14action_summandE
362
_ZN5mcrl23lps25add_data_variable_bindingINS0_23data_expression_builderENS_4data6detail30replace_free_variables_builderIS2_NS0_33add_data_variable_builder_bindingENS3_24mutable_map_substitutionISt3mapINS3_8variableENS3_15data_expressionESt4lessIS9_ESaISt4pairIKS9_SA_EEEEEEEE5leaveERKNS0_14action_summandE
362
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_24stochastic_specificationE
617
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_30stochastic_process_initializerE
617
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_24stochastic_specificationE
617
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_30stochastic_process_initializerE
617
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_25stochastic_linear_processE
618
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_25stochastic_linear_processE
618
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_16deadlock_summandE
1224
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_16deadlock_summandE
1224
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5enterERKNS0_25stochastic_action_summandE
2685
_ZN5mcrl23lps25add_data_variable_bindingINS0_25data_expression_traverserENS_4data6detail29find_free_variables_traverserIS2_NS0_35add_data_variable_traverser_bindingESt15insert_iteratorISt3setINS3_8variableESt4lessIS9_ESaIS9_EEEEEE5leaveERKNS0_25stochastic_action_summandE
2685
Generated by:
LCOV version 1.14