LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes/detail - lps2pbes_par.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 60 77 77.9 % Date: 2024-05-04 03:44:52 Functions: 18 24 75.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail13par_traverser5leaveERKNS_14state_formulas11delay_timedE	0
_ZN5mcrl211pbes_system6detail13par_traverser5leaveERKNS_14state_formulas11yaled_timedE	0
_ZN5mcrl211pbes_system6detail13par_traverser5leaveERKNS_14state_formulas3impE	0
_ZN5mcrl211pbes_system6detail13par_traverser5leaveERKNS_14state_formulas4not_E	0
_ZN5mcrl211pbes_system6detail13par_traverser5leaveERKNS_14state_formulas5delayE	0
_ZN5mcrl211pbes_system6detail13par_traverser5leaveERKNS_14state_formulas5yaledE	0
_ZN5mcrl211pbes_system6detail13par_traverser5applyERKNS_14state_formulas6existsE	3
_ZN5mcrl211pbes_system6detail13par_traverser5applyERKNS_14state_formulas6forallE	21
_ZN5mcrl211pbes_system6detail13par_traverser5leaveERKNS_4data15data_expressionE	30
_ZN5mcrl211pbes_system6detail13par_traverser5leaveERKNS_14state_formulas5true_E	259
_ZN5mcrl211pbes_system6detail13par_traverser5leaveERKNS_14state_formulas6false_E	917
_ZN5mcrl211pbes_system6detail13par_traverser5applyERKNS_14state_formulas2muE	1198
_ZN5mcrl211pbes_system6detail13par_traverser5leaveERKNS_14state_formulas3or_E	1281
_ZN5mcrl211pbes_system6detail13par_traverser5leaveERKNS_14state_formulas3mayE	1472
_ZN5mcrl211pbes_system6detail13par_traverser5applyERKNS_14state_formulas2nuE	1605
_ZN5mcrl211pbes_system6detail13par_traverser5leaveERKNS_14state_formulas4and_E	1820
_ZN5mcrl211pbes_system6detail13par_traverser5leaveERKNS_14state_formulas8variableE	1895
_ZN5mcrl211pbes_system6detail13par_traverser5leaveERKNS_14state_formulas4mustE	1942
_ZN5mcrl211pbes_system6detail13par_traverserC2ERKN7atermpp12aterm_stringERKNS3_9term_listINS_4data8variableEEE	2827
_ZN5mcrl211pbes_system6detail3ParERKN7atermpp12aterm_stringERKNS2_9term_listINS_4data8variableEEERKNS_14state_formulas13state_formulaE	2827
_ZN5mcrl211pbes_system6detail13par_traverser4joinEv	3101
_ZN5mcrl211pbes_system6detail13par_traverser3popEv	6202
_ZN5mcrl211pbes_system6detail13par_traverser4pushERKN7atermpp9term_listINS_4data8variableEEE	9029
_ZNK5mcrl211pbes_system6detail13par_traverser3topEv	9029

Generated by: LCOV version 1.14