LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - identifier_generator.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 13 14 92.9 % Date: 2024-05-01 03:37:31 Functions: 4 5 80.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data20identifier_generatorINS_9utilities24number_postfix_generatorEED0Ev	0
_ZN5mcrl24data20identifier_generatorINS_9utilities24number_postfix_generatorEE15add_identifiersERKSt3setIN7atermpp12aterm_stringESt4lessIS7_ESaIS7_EE	15422
_ZN5mcrl24data20identifier_generatorINS_9utilities24number_postfix_generatorEEclERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb	24069
_ZN5mcrl24data20identifier_generatorINS_9utilities24number_postfix_generatorEEC2Ev	29948
_ZN5mcrl24data20identifier_generatorINS_9utilities24number_postfix_generatorEED2Ev	29948

Generated by: LCOV version 1.14