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

LCOV - code coverage report

Current view:	top level - pbes/include/mcrl2/pbes - find_equalities.h (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	42	45	93.3 %
Date:	2024-04-21 03:44:01	Functions:	8	9	88.9 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl211pbes_system6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE5leaveERKNS0_4not_E	0
_ZN5mcrl211pbes_system6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE5leaveERKNS0_3impE	3
_ZN5mcrl211pbes_system6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE5leaveERKNS0_6forallE	12
_ZN5mcrl211pbes_system6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE5leaveERKNS0_6existsE	14
_ZN5mcrl211pbes_system6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE5leaveERKNS0_3or_E	44
_ZN5mcrl211pbes_system17find_inequalitiesERKNS0_15pbes_expressionE	119
_ZN5mcrl211pbes_system15find_equalitiesERKNS0_15pbes_expressionE	126
_ZN5mcrl211pbes_system6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE5leaveERKNS0_4and_E	137
_ZN5mcrl211pbes_system6detail25find_equalities_traverserINS0_25data_expression_traverserENS1_30find_equalities_traverser_instEE5applyERKNS0_36propositional_variable_instantiationE	144