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 84 0.0 % Date: 2024-04-21 03:44:01 Functions: 0 19 0.0 % Legend: Lines: hit not hit

Function Name	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.14