LCOV - code coverage report
Current view:
top level
-
pbes/include/mcrl2/pbes
- remove_parameters.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
63
102
61.8 %
Date:
2024-05-04 03:44:52
Functions:
16
23
69.6 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl211pbes_system17remove_parametersINS0_4pbesEEEvRT_RKSt3setINS_4data8variableESt4lessIS7_ESaIS7_EEPNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES3_E5valueEvE4typeE
0
_ZN5mcrl211pbes_system6detail35set_based_remove_parameters_builderINS_4core18apply_builder_arg1IS2_St3setINS_4data8variableESt4lessIS7_ESaIS7_EEEEE5applyINS0_22propositional_variableEEEvRT_RKSF_
0
_ZN5mcrl211pbes_system6detail35set_based_remove_parameters_builderINS_4core18apply_builder_arg1IS2_St3setINS_4data8variableESt4lessIS7_ESaIS7_EEEEE6updateERNS0_13pbes_equationE
0
_ZN5mcrl211pbes_system6detail35set_based_remove_parameters_builderINS_4core18apply_builder_arg1IS2_St3setINS_4data8variableESt4lessIS7_ESaIS7_EEEEE6updateERNS0_4pbesE
0
_ZN5mcrl211pbes_system6detail35set_based_remove_parameters_builderINS_4core18apply_builder_arg1IS2_St3setINS_4data8variableESt4lessIS7_ESaIS7_EEEEEC2ERKSB_
0
_ZNK5mcrl211pbes_system6detail35set_based_remove_parameters_builderINS_4core18apply_builder_arg1IS2_St3setINS_4data8variableESt4lessIS7_ESaIS7_EEEEE17remove_parametersERSB_
0
_ZNK5mcrl211pbes_system6detail35set_based_remove_parameters_builderINS_4core18apply_builder_arg1IS2_St3setINS_4data8variableESt4lessIS7_ESaIS7_EEEEE6apply_ERN7atermpp9term_listIS7_EERKSG_
0
_ZN5mcrl211pbes_system17remove_parametersINS0_15pbes_expressionEEET_RKS3_RKSt3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessIS8_ESaISt4pairIKS8_SB_EEEPNSt9enable_ifIXsrSt10is_base_ofINS7_5atermES3_E5valueEvE4typeE
1
_ZN5mcrl211pbes_system17remove_parametersINS0_22propositional_variableEEET_RKS3_RKSt6vectorImSaImEEPNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES3_E5valueEvE4typeE
17
_ZN5mcrl211pbes_system6detail15remove_elementsINS_4data8variableEEEN7atermpp9term_listIT_EERKS8_RKSt6vectorImSaImEE
17
_ZN5mcrl211pbes_system6detail25remove_parameters_builderINS_4core18apply_builder_arg1IS2_St6vectorImSaImEEEEE5applyINS0_22propositional_variableEEEvRT_RKSB_
17
_ZN5mcrl211pbes_system17remove_parametersINS0_4pbesEEEvRT_RKSt3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessIS7_ESaISt4pairIKS7_SA_EEEPNSt9enable_ifIXntsrSt10is_base_ofINS6_5atermES3_E5valueEvE4typeE
22
_ZN5mcrl211pbes_system6detail35map_based_remove_parameters_builderINS_4core18apply_builder_arg1IS2_St3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessIS7_ESaISt4pairIKS7_SA_EEEEEE5applyINS0_36propositional_variable_instantiationEEEvRT_RKSL_
22
_ZN5mcrl211pbes_system6detail35map_based_remove_parameters_builderINS_4core18apply_builder_arg1IS2_St3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessIS7_ESaISt4pairIKS7_SA_EEEEEE6updateERNS0_4pbesE
22
_ZN5mcrl211pbes_system6detail35map_based_remove_parameters_builderINS_4core18apply_builder_arg1IS2_St3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessIS7_ESaISt4pairIKS7_SA_EEEEEEC2ERKSH_
23
_ZN5mcrl211pbes_system6detail35map_based_remove_parameters_builderINS_4core18apply_builder_arg1IS2_St3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessIS7_ESaISt4pairIKS7_SA_EEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS_4data15data_expressionE
35
_ZN5mcrl211pbes_system6detail35map_based_remove_parameters_builderINS_4core18apply_builder_arg1IS2_St3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessIS7_ESaISt4pairIKS7_SA_EEEEEE5applyINS0_22propositional_variableEEEvRT_RKSL_
35
_ZN5mcrl211pbes_system6detail35map_based_remove_parameters_builderINS_4core18apply_builder_arg1IS2_St3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessIS7_ESaISt4pairIKS7_SA_EEEEEE6updateERNS0_13pbes_equationE
35
_ZN5mcrl211pbes_system17remove_parametersINS0_36propositional_variable_instantiationEEET_RKS3_RKSt6vectorImSaImEEPNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES3_E5valueEvE4typeE
41
_ZN5mcrl211pbes_system6detail15remove_elementsINS_4data15data_expressionEEEN7atermpp9term_listIT_EERKS8_RKSt6vectorImSaImEE
41
_ZN5mcrl211pbes_system6detail25remove_parameters_builderINS_4core18apply_builder_arg1IS2_St6vectorImSaImEEEEE5applyINS0_36propositional_variable_instantiationEEEvRT_RKSB_
41
_ZN5mcrl211pbes_system6detail35map_based_remove_parameters_builderINS_4core18apply_builder_arg1IS2_St3mapIN7atermpp12aterm_stringESt6vectorImSaImEESt4lessIS7_ESaISt4pairIKS7_SA_EEEEEE5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationE
56
_ZN5mcrl211pbes_system6detail25remove_parameters_builderINS_4core18apply_builder_arg1IS2_St6vectorImSaImEEEEEC2ERKS7_
58
Generated by:
LCOV version 1.14