LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes/detail - guard_traverser.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 112 142 78.9 % Date: 2024-05-01 03:37:31 Functions: 16 18 88.9 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail15guard_traverser5leaveERKNS0_6existsE	0
_ZN5mcrl211pbes_system6detaillsERSoRKNS1_16guard_expressionE	0
_ZN5mcrl211pbes_system6detail15guard_traverser5leaveERKNS0_6forallE	17
_ZN5mcrl211pbes_system6detail15guard_traverser5leaveERKNS0_4not_E	50
_ZN5mcrl211pbes_system6detail15guard_traverser5leaveERKNS0_3or_E	78
_ZN5mcrl211pbes_system6detail15guard_traverserC2ERKNS_4data8rewriterE	83
_ZN5mcrl211pbes_system6detail15guard_traverser5leaveERKNS0_3impE	100
_ZN5mcrl211pbes_system6detail15guard_traverser5leaveERKNS0_4and_E	104
_ZN5mcrl211pbes_system6detail16guard_expression6negateEv	150
_ZN5mcrl211pbes_system6detail15guard_traverser5leaveERKNS0_36propositional_variable_instantiationE	179
_ZN5mcrl211pbes_system6detail15guard_traverser5leaveERKNS_4data15data_expressionE	186
_ZN5mcrl211pbes_system6detail16guard_expression9add_guardERKNS0_15pbes_expressionE	186
_ZN5mcrl211pbes_system6detail16guard_expressionC2ERKNS0_15pbes_expressionE	365
_ZN5mcrl211pbes_system6detail15guard_traverser3popEv	564
_ZN5mcrl211pbes_system6detail15guard_traverser4pushERKNS1_16guard_expressionE	647
_ZNK5mcrl211pbes_system6detail16guard_expression12check_guardsINS0_22simplify_data_rewriterINS_4data8rewriterEEEEEbRKNS0_15pbes_expressionET_	735
_ZNK5mcrl211pbes_system6detail16guard_expression9is_simpleEv	1199
_ZN5mcrl211pbes_system6detail15guard_traverser3topEv	1347

Generated by: LCOV version 1.14