LCOV - code coverage report
Current view: top level - atermpp/include/mcrl2/atermpp - function_symbol.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 23 24 95.8 %
Date: 2024-05-01 03:37:31 Functions: 12 13 92.3 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN7atermpp15function_symbolC2EOS0_ 0
_ZN7atermpp15function_symbolaSERKS0_ 2600
_ZN7atermpp15function_symbolC2EONSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEm 12572
_ZN7atermpp15function_symbolaSEOS0_ 12817
_ZN7atermpp15function_symbolC2Ev 16127
_ZNK7atermpp15function_symbol4nameB5cxx11Ev 646794
_ZN7atermpp15function_symbolC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEm 1044830
_ZN7atermpp15function_symbolC2EON5mcrl29utilities16shared_referenceIKNS_6detail16_function_symbolEEE 1101693
_ZN7atermpp15function_symbolC2ERKS0_ 2094470
_ZNK7atermpp15function_symbol7definedEv 2299379
_ZNK7atermpp15function_symbolneERKS0_ 6464233865
_ZNK7atermpp15function_symbol5arityEv 13114702364
_ZNK7atermpp15function_symboleqERKS0_ 71195007558

Generated by: LCOV version 1.14