LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - bisimulation.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 428 428 100.0 % Date: 2024-05-04 03:44:52 Functions: 37 37 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system17weak_bisimulationERKNS_3lps13specificationES4_	8
_ZN5mcrl211pbes_system19strong_bisimulationERKNS_3lps13specificationES4_	8
_ZN5mcrl211pbes_system22branching_bisimulationERKNS_3lps13specificationES4_	8
_ZN5mcrl211pbes_system27weak_bisimulation_algorithm3runERKNS_3lps13specificationES5_	8
_ZN5mcrl211pbes_system29strong_bisimulation_algorithm3runERKNS_3lps13specificationES5_	8
_ZN5mcrl211pbes_system32branching_bisimulation_algorithm3runERKNS_3lps13specificationES5_	8
_ZN5mcrl211pbes_system32branching_simulation_equivalenceERKNS_3lps13specificationES4_	8
_ZN5mcrl211pbes_system42branching_simulation_equivalence_algorithm3runERKNS_3lps13specificationES5_	8
_ZNK5mcrl211pbes_system27weak_bisimulation_algorithm5matchERKNS_3lps14linear_processES5_	16
_ZNK5mcrl211pbes_system29strong_bisimulation_algorithm5matchERKNS_3lps14linear_processES5_	16
_ZN5mcrl211pbes_system22bisimulation_algorithm10build_pbesERKSt6vectorINS0_13pbes_equationESaIS3_EERKNS_3lps13specificationESB_	32
_ZN5mcrl211pbes_system22bisimulation_algorithm20resolve_name_clashesERKNS_3lps13specificationERS3_b	32
_ZN5mcrl211pbes_system22bisimulation_algorithm4initERKNS_3lps14linear_processES5_	32
_ZNK5mcrl211pbes_system22bisimulation_algorithm37compute_summand_variable_name_clashesERKNS_3lps13specificationES5_	32
_ZNK5mcrl211pbes_system22bisimulation_algorithm38compute_process_parameter_name_clashesERKNS_3lps13specificationES5_	32
_ZNK5mcrl211pbes_system32branching_bisimulation_algorithm5matchERKNS_3lps14linear_processES5_	32
_ZN5mcrl211pbes_system22bisimulation_algorithm17set_summand_namesERKNS_3lps14linear_processE	64
_ZNK5mcrl211pbes_system22bisimulation_algorithm2nuEv	64
_ZNK5mcrl211pbes_system27weak_bisimulation_algorithm4stepERKNS_3lps14linear_processES5_N9__gnu_cxx17__normal_iteratorIPKNS2_14action_summandESt6vectorIS8_SaIS8_EEEE	72
_ZNK5mcrl211pbes_system27weak_bisimulation_algorithm6close1ERKNS_3lps14linear_processES5_N9__gnu_cxx17__normal_iteratorIPKNS2_14action_summandESt6vectorIS8_SaIS8_EEEE	72
_ZNK5mcrl211pbes_system29strong_bisimulation_algorithm4stepERKNS_3lps14linear_processES5_N9__gnu_cxx17__normal_iteratorIPKNS2_14action_summandESt6vectorIS8_SaIS8_EEEE	72
_ZNK5mcrl211pbes_system32branching_bisimulation_algorithm4stepERKNS_3lps14linear_processES5_N9__gnu_cxx17__normal_iteratorIPKNS2_14action_summandESt6vectorIS8_SaIS8_EEEE	144
_ZNK5mcrl211pbes_system32branching_bisimulation_algorithm5closeERKNS_3lps14linear_processES5_N9__gnu_cxx17__normal_iteratorIPKNS2_14action_summandESt6vectorIS8_SaIS8_EEEE	144
_ZNK5mcrl211pbes_system22bisimulation_algorithm2Y1ERKNS_3lps14linear_processES5_N9__gnu_cxx17__normal_iteratorIPKNS2_14action_summandESt6vectorIS8_SaIS8_EEEE	172
_ZNK5mcrl211pbes_system22bisimulation_algorithm2Y2ERKNS_3lps14linear_processES5_N9__gnu_cxx17__normal_iteratorIPKNS2_14action_summandESt6vectorIS8_SaIS8_EEEE	276
_ZNK5mcrl211pbes_system22bisimulation_algorithm16action_list_nameB5cxx11ERKN7atermpp9term_listINS_7process6actionEEE	288
_ZNK5mcrl211pbes_system22bisimulation_algorithm2muEv	288
_ZNK5mcrl211pbes_system22bisimulation_algorithm1YERKNS_3lps14linear_processES5_N9__gnu_cxx17__normal_iteratorIPKNS2_14action_summandESt6vectorIS8_SaIS8_EEEE	344
_ZNK5mcrl211pbes_system22bisimulation_algorithm3varERKN7atermpp12aterm_stringERKNS2_9term_listINS_4data8variableEEE	392
_ZNK5mcrl211pbes_system22bisimulation_algorithm12summand_nameB5cxx11EN9__gnu_cxx17__normal_iteratorIPKNS_3lps14action_summandESt6vectorIS5_SaIS5_EEEE	792
_ZNK5mcrl211pbes_system27weak_bisimulation_algorithm6close2ERKNS_3lps14linear_processES5_N9__gnu_cxx17__normal_iteratorIPKNS2_14action_summandESt6vectorIS8_SaIS8_EEEERKN7atermpp9term_listINS_4data15data_expressionEEESL_	1166
_ZNK5mcrl211pbes_system22bisimulation_algorithm17make_substitutionERKN7atermpp9term_listINS_4data8variableEEERKNS3_INS4_15data_expressionEEERNS4_24mutable_map_substitutionISt3mapIS5_S9_St4lessIS5_ESaISt4pairIKS5_S9_EEEEE	1370
_ZNK5mcrl211pbes_system22bisimulation_algorithm6equalsERKNS_3lps12multi_actionES5_	2196
_ZNK5mcrl211pbes_system22bisimulation_algorithm1XERKNS_3lps14linear_processES5_	3128
_ZNK5mcrl211pbes_system22bisimulation_algorithm3varERKN7atermpp12aterm_stringERKNS2_9term_listINS_4data15data_expressionEEE	3144
_ZNK5mcrl211pbes_system22bisimulation_algorithm12process_nameB5cxx11ERKNS_3lps14linear_processE	7840
_ZNK5mcrl211pbes_system22bisimulation_algorithm13is_from_modelERKNS_3lps14linear_processE	7904

Generated by: LCOV version 1.14