LCOV - code coverage report
Current view: top level - smt/include/mcrl2/smt - utilities.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 0 79 0.0 %
Date: 2020-10-20 00:45:57 Functions: 0 19 0.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl23smt15stack_outstreamINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEE3popEv 0
_ZN5mcrl23smt15stack_outstreamINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEE4pushEv 0
_ZN5mcrl23smt15stack_outstreamINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEE8copy_topERNS2_12basic_stringIcS5_S6_EE 0
_ZN5mcrl23smt15stack_outstreamINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEE8top_sizeEv 0
_ZN5mcrl23smt15stack_outstreamINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEEC2ERS7_ 0
_ZN5mcrl23smt15stack_outstreamINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEED2Ev 0
_ZN5mcrl23smt15stack_outstreamINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEElsIA2_cEERS8_RKT_ 0
_ZN5mcrl23smt15stack_outstreamINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEElsIA3_cEERS8_RKT_ 0
_ZN5mcrl23smt15stack_outstreamINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEElsIA7_cEERS8_RKT_ 0
_ZN5mcrl23smt15stack_outstreamINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEElsIA9_cEERS8_RKT_ 0
_ZN5mcrl23smt15stack_outstreamINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEElsINS2_12basic_stringIcS5_S6_EEEERS8_RKT_ 0
_ZN5mcrl23smt16topological_sortINS_4data15sort_expressionEEESt6vectorIT_SaIS5_EESt3mapIS5_St3setIS5_St4lessIS5_ES6_ESB_SaISt4pairIKS5_SC_EEE 0
_ZN5mcrl23smt16translate_symbolB5cxx11ERKNS_4data15function_symbolERKNS0_19native_translationsE 0
_ZN5mcrl23smt20make_projection_funcERKNS_4data15function_symbolERKNS1_15sort_expressionEmRKNS0_19native_translationsE 0
_ZN5mcrl23smt20make_projection_nameB5cxx11ERKNS_4data15function_symbolEmRKNS0_19native_translationsE 0
_ZN5mcrl23smt20make_recogniser_funcERKNS_4data15function_symbolERKNS0_19native_translationsE 0
_ZN5mcrl23smt20make_recogniser_nameB5cxx11ERKNS_4data15function_symbolERKNS0_19native_translationsE 0
_ZN5mcrl23smt20translate_identifierB5cxx11ERKN7atermpp12aterm_stringE 0
_ZN5mcrl23smt20translate_identifierERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE 0

Generated by: LCOV version 1.13