LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - absinthe.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 373 494 75.5 % Date: 2024-05-01 03:37:31 Functions: 33 43 76.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system10print_termINS_4data15sort_expressionEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_	0
_ZN5mcrl211pbes_system12print_symbolINS_4data15function_symbolEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_	0
_ZN5mcrl211pbes_system18absinthe_algorithm13print_mappingISt3mapINS_4data15function_symbolES5_St4lessIS5_ESaISt4pairIKS5_S5_EEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_	0
_ZN5mcrl211pbes_system18absinthe_algorithm13print_mappingISt3mapINS_4data15sort_expressionES5_St4lessIS5_ESaISt4pairIKS5_S5_EEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_	0
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_data_expression_builder4liftERKN7atermpp9term_listINS_4data8variableEEE	0
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_data_expression_builder5applyINS0_15pbes_expressionEEEvRT_RKNS0_6existsE	0
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_data_expression_builder5applyINS0_15pbes_expressionEEEvRT_RKNS0_6forallE	0
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_sort_expression_builder5applyINS_4data15data_expressionEEEvRT_RKNS4_6lambdaE	0
_ZN5mcrl211pbes_system6detail11target_sortERKNS_4data15sort_expressionE	0
_ZNK5mcrl211pbes_system18absinthe_algorithm17lift_equation_1_214make_variablesERKN7atermpp9term_listINS_4data15sort_expressionEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEENS1_13sort_functionE	0
_ZN5mcrl211pbes_system18absinthe_algorithm21parse_abstraction_mapERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	1
_ZN5mcrl211pbes_system18absinthe_algorithm22parse_right_hand_sidesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERNS_4data18data_specificationE	1
_ZN5mcrl211pbes_system18absinthe_algorithm23lift_data_specificationERKNS0_4pbesERKSt3mapINS_4data15sort_expressionENS6_15function_symbolESt4lessIS7_ESaISt4pairIKS7_S8_EEERKS5_IS7_S7_SA_SaISB_ISC_S7_EEERS5_IS8_S8_S9_IS8_ESaISB_IKS8_S8_EEERNS6_18data_specificationE	1
_ZN5mcrl211pbes_system18absinthe_algorithm29parse_function_symbol_mappingERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS_4data18data_specificationE	1
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_data_expression_builder4liftERKNS0_22propositional_variableE	1
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_data_expression_builder4liftERKNS_4data15data_expressionE	1
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_data_expression_builder5applyINS0_15pbes_expressionEEEvRT_RKNS_4data15data_expressionE	1
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_data_expression_builder6updateERNS0_13pbes_equationE	1
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_data_expression_builder6updateERNS0_4pbesE	1
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_data_expression_builderC2ERKSt3mapINS_4data15sort_expressionENS4_15function_symbolESt4lessIS5_ESaISt4pairIKS5_S6_EEERKS3_IS5_S5_S8_SaIS9_ISA_S5_EEERKS3_IS6_S6_S7_IS6_ESaIS9_IKS6_S6_EEERNS4_24set_identifier_generatorEb	1
_ZN5mcrl211pbes_system18absinthe_algorithm3runERNS0_4pbesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb	1
_ZNK5mcrl211pbes_system18absinthe_algorithm17check_consistencyERKNS_4data15function_symbolES5_RSt3mapINS2_15sort_expressionES7_St4lessIS7_ESaISt4pairIKS7_S7_EEE	1
_ZNK5mcrl211pbes_system18absinthe_algorithm17check_consistencyERKNS_4data15sort_expressionES5_RKNS2_15function_symbolERSt3mapIS3_S3_St4lessIS3_ESaISt4pairIS4_S3_EEE	1
_ZNK5mcrl211pbes_system18absinthe_algorithm17lift_equation_1_2clERKNS_4data15function_symbolES6_NS1_13sort_functionERKSt3mapINS3_15sort_expressionES4_St4lessIS9_ESaISt4pairIKS9_S4_EEE	1
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_data_expression_builder4liftERKN7atermpp9term_listINS_4data15data_expressionEEE	2
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_data_expression_builder5applyINS0_15pbes_expressionEEEvRT_RKNS0_36propositional_variable_instantiationE	2
_ZN5mcrl211pbes_system6detail30is_structured_sort_constructorERKNS_4data18data_specificationERKNS2_15function_symbolE	2
_ZNK5mcrl211pbes_system18absinthe_algorithm24lift_function_symbol_1_213print_cleanedB5cxx11ERKNS_4data15sort_expressionE	2
_ZNK5mcrl211pbes_system18absinthe_algorithm32absinthe_data_expression_builder14make_variablesERKN7atermpp9term_listINS_4data15data_expressionEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEENS1_13sort_functionE	2
_ZN5mcrl211pbes_system18absinthe_algorithm13sort_functionC2ERKSt3mapINS_4data15sort_expressionENS4_15function_symbolESt4lessIS5_ESaISt4pairIKS5_S6_EEERKS3_IS5_S5_S8_SaIS9_ISA_S5_EEERKS3_IS6_S6_S7_IS6_ESaIS9_IKS6_S6_EEERNS4_24set_identifier_generatorE	3
_ZN5mcrl211pbes_system18absinthe_algorithm24lift_function_symbol_1_2C2Ev	3
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_sort_expression_builder5applyINS_4data15data_expressionEEEvRT_RKNS4_11applicationE	3
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_sort_expression_builder5applyINS_4data15data_expressionEEEvRT_RKNS4_15function_symbolE	3
_ZNK5mcrl211pbes_system18absinthe_algorithm17lift_equation_2_316enumerate_domainERKSt6vectorINS_4data8variableESaIS5_EES9_	3
_ZNK5mcrl211pbes_system18absinthe_algorithm24lift_function_symbol_1_2clERKNS_4data15function_symbolENS1_13sort_functionE	3
_ZNK5mcrl211pbes_system18absinthe_algorithm17lift_equation_2_3clERKNS_4data15function_symbolES6_NS1_13sort_functionE	5
_ZNK5mcrl211pbes_system18absinthe_algorithm24lift_function_symbol_2_3clERKNS_4data15function_symbolE	5
_ZNK5mcrl211pbes_system18absinthe_algorithm17lift_equation_2_314make_variablesERKN7atermpp9term_listINS_4data15sort_expressionEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEENS1_13sort_functionE	6
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_sort_expression_builderC2ERKSt3mapINS_4data15sort_expressionENS4_15function_symbolESt4lessIS5_ESaISt4pairIKS5_S6_EEERKS3_IS5_S5_S8_SaIS9_ISA_S5_EEERKS3_IS6_S6_S7_IS6_ESaIS9_IKS6_S6_EEERNS4_24set_identifier_generatorE	7
_ZNK5mcrl211pbes_system18absinthe_algorithm8make_setclERKNS_4data15sort_expressionE	8
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_sort_expression_builder5applyINS_4data15data_expressionEEEvRT_RKS5_	10
_ZN5mcrl211pbes_system18absinthe_algorithm13sort_functionclERKNS_4data15sort_expressionE	16
_ZN5mcrl211pbes_system18absinthe_algorithm32absinthe_sort_expression_builder5applyINS_4data15sort_expressionEEEvRT_RKS5_	32

Generated by: LCOV version 1.14