LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes/detail - ppg_rewriter.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 123 247 49.8 % Date: 2024-05-01 03:37:31 Functions: 9 15 60.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system6detail12ppg_rewriter5applyERKNS0_3impE	0
_ZN5mcrl211pbes_system6detail12ppg_rewriter5applyERKNS0_3or_E	0
_ZN5mcrl211pbes_system6detail12ppg_rewriter5applyERKNS0_4not_E	0
_ZN5mcrl211pbes_system6detail12ppg_rewriter5applyERKNS0_6forallE	0
_ZN5mcrl211pbes_system6detail12ppg_rewriter5enterERKNS0_36propositional_variable_instantiationE	0
_ZN5mcrl211pbes_system6detail12ppg_rewriter5enterERKNS_4data15data_expressionE	0
_ZN5mcrl211pbes_system6detail12ppg_rewriterC2ISt6vectorINS0_13pbes_equationESaIS5_EEEERKT_	1
_ZN5mcrl211pbes_system6detail29fresh_variable_name_generatorC2ISt6vectorINS0_13pbes_equationESaIS5_EEEERKT_	1
_ZN5mcrl211pbes_system6detail6to_ppgENS0_4pbesE	1
_ZN5mcrl211pbes_system6detail12ppg_rewriter10split_hereERKNS0_15pbes_expressionE	2
_ZN5mcrl211pbes_system6detail29fresh_variable_name_generator13generate_nameERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	2
_ZN5mcrl211pbes_system6detail12ppg_rewriter5applyERKNS0_4and_E	3
_ZN5mcrl211pbes_system6detail12ppg_rewriter5enterERKNS0_13pbes_equationE	3
_ZN5mcrl211pbes_system6detail12ppg_rewriter5leaveERKNS0_13pbes_equationE	3
_ZN5mcrl211pbes_system6detail12ppg_rewriter5applyERKNS0_6existsE	4

Generated by: LCOV version 1.14