LCOV - code coverage report

Current view: top level - smt/include/mcrl2/smt - translate_specification.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 0 130 0.0 % Date: 2024-04-21 03:44:01 Functions: 0 11 0.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23smt28translate_data_specificationINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEEEvRKNS_4data18data_specificationERT_RSt13unordered_mapINS8_15data_expressionENS2_12basic_stringIcS5_S6_EESt4hashISF_ESt8equal_toISF_ESaISt4pairIKSF_SH_EEERKNS0_19native_translationsE	0
_ZN5mcrl23smt6detail15is_higher_orderERKNS_4data13data_equationE	0
_ZN5mcrl23smt6detail15is_higher_orderERKNS_4data15function_symbolE	0
_ZN5mcrl23smt6detail15translate_aliasINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEEEvRKNS_4data5aliasERT_RKNS0_19native_translationsERKSt3mapINS9_15structured_sortENS3_12basic_stringIcS6_S7_EESt4lessISJ_ESaISt4pairIKSJ_SL_EEE	0
_ZN5mcrl23smt6detail17translate_mappingINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEEEvRKNS_4data15function_symbolERT_RKNS0_19native_translationsERKSt3mapINS9_15structured_sortENS3_12basic_stringIcS6_S7_EESt4lessISJ_ESaISt4pairIKSJ_SL_EEEb	0
_ZN5mcrl23smt6detail18translate_equationINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEEEvRKNS_4data13data_equationERT_RSt13unordered_mapINS9_15data_expressionENS3_12basic_stringIcS6_S7_EESt4hashISG_ESt8equal_toISG_ESaISt4pairIKSG_SI_EEERKNS0_19native_translationsE	0
_ZN5mcrl23smt6detail25translate_native_mappingsINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEEEvRT_RSt13unordered_mapINS_4data15data_expressionENS3_12basic_stringIcS6_S7_EESt4hashISD_ESt8equal_toISD_ESaISt4pairIKSD_SF_EEERKNS0_19native_translationsERKSt3mapINSC_15structured_sortESF_St4lessISU_ESaISK_IKSU_SF_EEE	0
_ZN5mcrl23smt6detail25translate_sort_definitionINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEEEvRKNS3_12basic_stringIcS6_S7_EERKNS_4data15sort_expressionERKNSD_18data_specificationERT_RKNS0_19native_translationsERSt3mapINSD_15structured_sortESA_St4lessISQ_ESaISt4pairIKSQ_SA_EEE	0
_ZN5mcrl23smt6detail26translate_sort_definitionsINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEEEvRKNS_4data18data_specificationERT_RKNS0_19native_translationsERNS9_24set_identifier_generatorERSt3mapINS9_15structured_sortENS3_12basic_stringIcS6_S7_EESt4lessISL_ESaISt4pairIKSL_SN_EEE	0
_ZN5mcrl23smt6detail27find_sorts_and_dependenciesERKNS_4data18data_specificationERSt3mapINS2_15structured_sortENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS7_ESaISt4pairIKS7_SD_EEE	0
_ZN5mcrl23smt6detailL17find_dependenciesERKNS_4data18data_specificationERKNS2_15sort_expressionE	0

Generated by: LCOV version 1.14