LCOV - code coverage report
Current view: top level - atermpp/source - function_symbol_pool.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 71 85 83.5 %
Date: 2024-04-21 03:44:01 Functions: 9 9 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN7atermpp6detail20function_symbol_pool16resize_if_neededEv 38
_ZN7atermpp6detail20function_symbol_poolC2Ev 143
_ZN7atermpp6detail20function_symbol_pool5sweepEv 1015
_ZN7atermpp6detail20function_symbol_pool15register_prefixERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 2543
_ZNK7atermpp6detail20function_symbol_pool36get_sufficiently_large_postfix_indexERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 2543
_ZN7atermpp6detail20function_symbol_pool10deregisterERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 2680
_ZN7atermpp6detail20function_symbol_pool6createERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmb 20218
_ZN7atermpp6detail20function_symbol_pool13create_helperERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 53797
_ZN7atermpp6detail20function_symbol_pool6createEONSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmb 1081475

Generated by: LCOV version 1.14