LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes/detail - stategraph_pbes.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 168 235 71.5 % Date: 2024-05-01 03:37:31 Functions: 35 44 79.5 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detaillsERSoRKNS1_18predicate_variableE	0
_ZNK5mcrl211pbes_system6detail15stategraph_pbes24print_source_target_copyB5cxx11Ev	0
_ZNK5mcrl211pbes_system6detail15stategraph_pbes4dataEv	0
_ZNK5mcrl211pbes_system6detail18predicate_variable4copyEm	0
_ZNK5mcrl211pbes_system6detail18predicate_variable5printB5cxx11Ev	0
_ZNK5mcrl211pbes_system6detail19stategraph_equation23control_flow_parametersEv	0
_ZNK5mcrl211pbes_system6detail19stategraph_equation24print_source_target_copyB5cxx11Ev	0
_ZNK5mcrl211pbes_system6detail19stategraph_equation30control_flow_parameter_indicesEv	0
_ZNK5mcrl211pbes_system6detail19stategraph_equation7projectERKN7atermpp9term_listINS_4data15data_expressionEEE	0
_ZNK5mcrl211pbes_system6detail18predicate_variable6sourceEm	1
_ZNK5mcrl211pbes_system6detail18predicate_variable6targetEm	3
_ZNK5mcrl211pbes_system6detail18predicate_variable8variableEv	3
_ZNK5mcrl211pbes_system6detail18predicate_variable7changedEv	4
_ZNK5mcrl211pbes_system6detail18predicate_variable4usedEv	8
_ZNK5mcrl211pbes_system6detail19stategraph_equation22data_parameter_indicesEv	11
_ZN5mcrl211pbes_system6detail15stategraph_pbes26compute_source_target_copyEv	27
_ZN5mcrl211pbes_system6detail15stategraph_pbesC2ERKNS0_4pbesERKNS_4data8rewriterE	27
_ZN5mcrl211pbes_system6detail15stategraph_pbesC2Ev	27
_ZNK5mcrl211pbes_system6detail15stategraph_pbes13initial_stateEv	35
_ZNK5mcrl211pbes_system6detail19stategraph_equation27set_control_flow_parametersERKSt3setImSt4lessImESaImEE	49
_ZN5mcrl211pbes_system6detail19stategraph_equation12compute_copyEv	62
_ZN5mcrl211pbes_system6detail19stategraph_equation12compute_usedEv	62
_ZN5mcrl211pbes_system6detail19stategraph_equation14compute_sourceEv	62
_ZN5mcrl211pbes_system6detail19stategraph_equation14compute_targetERNS_4data8rewriterE	62
_ZN5mcrl211pbes_system6detail19stategraph_equation15compute_changedEv	62
_ZN5mcrl211pbes_system6detail19stategraph_equation19predicate_variablesEv	62
_ZN5mcrl211pbes_system6detail19stategraph_equation26compute_source_target_copyERNS_4data8rewriterE	62
_ZN5mcrl211pbes_system6detail19stategraph_equationC2ERKNS0_13pbes_equationERKNS_4data8rewriterE	62
_ZNK5mcrl211pbes_system6detail19stategraph_equation19set_data_parametersERKSt3setImSt4lessImESaImEE	62
_ZN5mcrl211pbes_system6detail18predicate_variable14simplify_guardEv	108
_ZN5mcrl211pbes_system6detail18predicate_variableC2ERKNS0_36propositional_variable_instantiationERKNS0_15pbes_expressionE	108
_ZNK5mcrl211pbes_system6detail18predicate_variable5guardEv	108
_ZNK5mcrl211pbes_system6detail19stategraph_equation23find_equality_conjunctsERKNS0_15pbes_expressionERKSt6vectorINS_4data8variableESaIS8_EERSt3mapIS8_NS7_15data_expressionESt4lessIS8_ESaISt4pairIKS8_SE_EEE	108
_ZN5mcrl211pbes_system6detail15stategraph_pbes9equationsEv	166
_ZNK5mcrl211pbes_system6detail18predicate_variable5sigmaEv	321
_ZNK5mcrl211pbes_system6detail18predicate_variable6sourceEv	355
_ZN5mcrl211pbes_system6detail13find_equationERKNS1_15stategraph_pbesERKN7atermpp12aterm_stringEb	422
_ZNK5mcrl211pbes_system6detail15stategraph_pbes9equationsEv	434
_ZNK5mcrl211pbes_system6detail19stategraph_equation19predicate_variablesEv	438
_ZNK5mcrl211pbes_system6detail18predicate_variable4copyEv	439
_ZNK5mcrl211pbes_system6detail18predicate_variable10parametersEv	481
_ZNK5mcrl211pbes_system6detail18predicate_variable6targetEv	499
_ZNK5mcrl211pbes_system6detail19stategraph_equation10parametersEv	617
_ZNK5mcrl211pbes_system6detail18predicate_variable4nameEv	940

Generated by: LCOV version 1.14