LCOV - code coverage report

Current view: top level - data/test - identifier_generator_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 54 54 100.0 % Date: 2024-05-01 03:37:31 Functions: 6 6 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_Z29set_identifier_generator_testv	1
_Z29xyz_identifier_generator_testv	1
_Z34multiset_identifier_generator_testv	1
_ZL17test_main_invokerv	1
_ZN9test_main11test_methodEv	1
_Z3strRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	25

Generated by: LCOV version 1.14