LCOV - code coverage report

Current view: top level - smt/include/mcrl2/smt - translate_expression.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 0 108 0.0 % Date: 2024-05-01 03:37:31 Functions: 0 16 0.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23smt19translate_assertionINS_4data15data_expressionENSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEEEvRKT_RT0_RSt13unordered_mapIS3_NS4_12basic_stringIcS7_S8_EESt4hashIS3_ESt8equal_toIS3_ESaISt4pairIKS3_SH_EEERKNS0_19native_translationsE	0
_ZN5mcrl23smt25translate_data_expressionINS_4data15data_expressionENSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEEEvRKT_RT0_RSt13unordered_mapIS3_NS4_12basic_stringIcS7_S8_EESt4hashIS3_ESt8equal_toIS3_ESaISt4pairIKS3_SH_EEERKNS0_19native_translationsE	0
_ZN5mcrl23smt30translate_variable_declarationIN7atermpp9term_listINS_4data8variableEEENSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEEEvRKT_RT0_RSt13unordered_mapINS4_15data_expressionENS7_12basic_stringIcSA_SB_EESt4hashISJ_ESt8equal_toISJ_ESaISt4pairIKSJ_SL_EEERKNS0_19native_translationsE	0
_ZN5mcrl23smt6detail24declare_variables_binderINS0_15stack_outstreamINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEEEEENS_4data15data_expressionERKN7atermpp9term_listINSB_8variableEEERT_RKNS0_19native_translationsE	0
_ZN5mcrl23smt6detail24declare_variables_binderINSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEEENS_4data15data_expressionERKN7atermpp9term_listINS9_8variableEEERT_RKNS0_19native_translationsE	0
_ZN5mcrl23smt6detail29translate_symbol_disambiguateB5cxx11ERKNS_4data15function_symbolERKNS0_19native_translationsE	0
_ZN5mcrl23smt6detail35translate_data_expression_traverserINS_4data25data_expression_traverserENSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEE5applyERKNS3_11applicationE	0
_ZN5mcrl23smt6detail35translate_data_expression_traverserINS_4data25data_expression_traverserENSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEE5applyERKNS3_12where_clauseE	0
_ZN5mcrl23smt6detail35translate_data_expression_traverserINS_4data25data_expression_traverserENSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEE5applyERKNS3_15data_expressionE	0
_ZN5mcrl23smt6detail35translate_data_expression_traverserINS_4data25data_expression_traverserENSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEE5applyERKNS3_15function_symbolE	0
_ZN5mcrl23smt6detail35translate_data_expression_traverserINS_4data25data_expression_traverserENSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEE5applyERKNS3_6existsE	0
_ZN5mcrl23smt6detail35translate_data_expression_traverserINS_4data25data_expression_traverserENSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEE5applyERKNS3_6forallE	0
_ZN5mcrl23smt6detail35translate_data_expression_traverserINS_4data25data_expression_traverserENSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEE5applyERKNS3_8variableE	0
_ZN5mcrl23smt6detail35translate_data_expression_traverserINS_4data25data_expression_traverserENSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEEC2ERSA_RSt13unordered_mapINS3_15data_expressionENS5_12basic_stringIcS8_S9_EESt4hashISE_ESt8equal_toISE_ESaISt4pairIKSE_SG_EEERKNS0_19native_translationsE	0
_ZZN5mcrl23smt6detail35translate_data_expression_traverserINS_4data25data_expression_traverserENSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEE5applyERKNS3_11applicationEENKUlRKNS3_15data_expressionEE_clESH_	0
_ZZN5mcrl23smt6detail35translate_data_expression_traverserINS_4data25data_expression_traverserENSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEEE5applyERKNS3_11applicationEENKUlRKNS5_12basic_stringIcS8_S9_EEE0_clESI_	0

Generated by: LCOV version 1.14