LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes/detail - ppg_traverser.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 87 118 73.7 % Date: 2024-04-19 03:43:27 Functions: 12 14 85.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail13ppg_traverser5enterERKNS0_3impE	0
_ZN5mcrl211pbes_system6detail13ppg_traverser5enterERKNS0_4not_E	0
_ZN5mcrl211pbes_system6detail13ppg_traverser5enterERKNS0_6existsE	4
_ZN5mcrl211pbes_system6detail13ppg_traverser5leaveERKNS0_6existsE	4
_ZN5mcrl211pbes_system6detail13ppg_traverserC2Ev	14
_ZN5mcrl211pbes_system6detail6is_ppgINS0_4pbesEEEbRKT_	14
_ZN5mcrl211pbes_system6detail13ppg_traverser5enterERKNS0_13pbes_equationE	32
_ZN5mcrl211pbes_system6detail13ppg_traverser5leaveERKNS0_13pbes_equationE	32
_ZN5mcrl211pbes_system6detail13ppg_traverser5enterERKNS0_6forallE	36
_ZN5mcrl211pbes_system6detail13ppg_traverser5leaveERKNS0_6forallE	36
_ZN5mcrl211pbes_system6detail13ppg_traverser5enterERKNS0_4and_E	64
_ZN5mcrl211pbes_system6detail13ppg_traverser5leaveERKNS0_4and_E	64
_ZN5mcrl211pbes_system6detail13ppg_traverser5enterERKNS0_3or_E	100
_ZN5mcrl211pbes_system6detail13ppg_traverser5leaveERKNS0_3or_E	100

Generated by: LCOV version 1.14