LCOV - mcrl2_coverage.info.cleaned - data/include/mcrl2/data/set_identifier_generator.h

LCOV - code coverage report

Current view:	top level - data/include/mcrl2/data - set_identifier_generator.h (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	26	30	86.7 %
Date:	2024-05-01 03:37:31	Functions:	10	11	90.9 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl24data29multiset_identifier_generator13clear_contextEv	0
_ZN5mcrl24data29multiset_identifier_generator17remove_identifierERKN7atermpp12aterm_stringE	2
_ZNK5mcrl24data24set_identifier_generator7contextEv	5
_ZNK5mcrl24data29multiset_identifier_generator14has_identifierERKN7atermpp12aterm_stringE	9
_ZN5mcrl24data24set_identifier_generator13clear_contextEv	151
_ZN5mcrl24data24set_identifier_generator17remove_identifierERKN7atermpp12aterm_stringE	244
_ZN5mcrl24data29multiset_identifier_generatorC2Ev	300
_ZN5mcrl24data29multiset_identifier_generator14add_identifierERKN7atermpp12aterm_stringE	1098
_ZN5mcrl24data24set_identifier_generatorC2Ev	29648
_ZNK5mcrl24data24set_identifier_generator14has_identifierERKN7atermpp12aterm_stringE	41550
_ZN5mcrl24data24set_identifier_generator14add_identifierERKN7atermpp12aterm_stringE	346949