LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - is_bes.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 22 25 88.0 % Date: 2024-05-01 03:37:31 Functions: 7 8 87.5 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system16is_bes_traverser5enterERKNS0_6existsE	0
_ZN5mcrl211pbes_system6is_besINS0_15pbes_expressionEEEbRKT_	1
_ZN5mcrl211pbes_system16is_bes_traverser5enterERKNS_4data15data_expressionE	3
_ZN5mcrl211pbes_system6is_besINS0_4pbesEEEbRKT_	3
_ZN5mcrl211pbes_system16is_bes_traverser5enterERKNS0_6forallE	4
_ZN5mcrl211pbes_system16is_bes_traverserC2Ev	4
_ZN5mcrl211pbes_system16is_bes_traverser5enterERKNS0_13pbes_equationE	76
_ZN5mcrl211pbes_system16is_bes_traverser5enterERKNS0_36propositional_variable_instantiationE	92

Generated by: LCOV version 1.14