LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - parity_game_generator.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 139 185 75.1 % Date: 2024-05-04 03:44:52 Functions: 15 18 83.3 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system21parity_game_generator18print_bes_equationB5cxx11EmRKSt3setImSt4lessImESaImEE	0
_ZN5mcrl211pbes_system21parity_game_generator22print_variable_mappingEv	0
_ZN5mcrl211pbes_system21parity_game_generatorD0Ev	0
_ZN5mcrl211pbes_system21parity_game_generator18get_initial_valuesEv	12
_ZN5mcrl211pbes_system21parity_game_generator17get_initial_stateEv	15
_ZNK5mcrl211pbes_system21parity_game_generator20print_equation_countB5cxx11Emm	18
_ZN5mcrl211pbes_system21parity_game_generator18compute_prioritiesERKSt6vectorINS0_13pbes_equationESaIS3_EE	21
_ZN5mcrl211pbes_system21parity_game_generator26compute_equation_index_mapEv	21
_ZN5mcrl211pbes_system21parity_game_generatorC2ERNS0_4pbesEbbNS_4data16rewrite_strategyE	21
_ZN5mcrl211pbes_system21parity_game_generatorD2Ev	21
_ZN5mcrl211pbes_system21parity_game_generator13get_operationEm	123
_ZN5mcrl211pbes_system21parity_game_generator16get_dependenciesEm	132
_ZN5mcrl211pbes_system21parity_game_generator24get_expression_operationERKNS0_15pbes_expressionE	137
_ZN5mcrl211pbes_system21parity_game_generator12get_priorityEm	177
_ZN5mcrl211pbes_system21parity_game_generator16add_bes_equationENS0_15pbes_expressionEm	183
_ZN5mcrl211pbes_system21parity_game_generator10expand_rhsERKNS0_15pbes_expressionE	998
_ZNK5mcrl211pbes_system21parity_game_generator17make_substitutionERKN7atermpp9term_listINS_4data8variableEEERKNS3_INS4_15data_expressionEEERNS4_28mutable_indexed_substitutionIS5_S9_EE	1834
_ZN5mcrl211pbes_system21parity_game_generator21initialize_generationEv	2182

Generated by: LCOV version 1.14