LCOV - mcrl2_coverage.info.cleaned - pbes/include/mcrl2/pbes/pbes_functions.h

LCOV - code coverage report

Current view:	top level - pbes/include/mcrl2/pbes - pbes_functions.h (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	24	28	85.7 %
Date:	2024-05-04 03:44:52	Functions:	9	11	81.8 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl211pbes_system20is_simple_expressionINS0_3impEEEbRKT_	0
_ZN5mcrl211pbes_system20is_simple_expressionINS0_4not_EEEbRKT_	0
_ZN5mcrl211pbes_system15split_conjunctsERKNS0_15pbes_expressionEb	9
_ZN5mcrl211pbes_system22is_non_simple_conjunctERKNS0_15pbes_expressionE	33
_ZN5mcrl211pbes_system20is_simple_expressionINS0_4and_EEEbRKT_	71
_ZN5mcrl211pbes_system15split_disjunctsERKNS0_15pbes_expressionEb	98
_ZN5mcrl211pbes_system20is_simple_expressionINS0_3or_EEEbRKT_	100
_ZN5mcrl211pbes_system22is_non_simple_disjunctERKNS0_15pbes_expressionE	342
_ZN5mcrl211pbes_system20is_simple_expressionINS0_15pbes_expressionEEEbRKT_	867
_ZN5mcrl211pbes_system30is_simple_expression_traverserC2Ev	1038
_ZN5mcrl211pbes_system30is_simple_expression_traverser5enterERKNS0_36propositional_variable_instantiationE	1057