LCOV - code coverage report

Current view: top level - core/include/mcrl2/core/detail - print_utility.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 24 41 58.5 % Date: 2024-04-26 03:18:02 Functions: 22 61 36.1 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24core6detail10print_listIN7atermpp9term_listINS_4data10assignmentEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_bb	0
_ZN5mcrl24core6detail10print_listIN7atermpp9term_listINS_4data15data_expressionEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_bb	0
_ZN5mcrl24core6detail10print_listIN7atermpp9term_listINS_4data8variableEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_bb	0
_ZN5mcrl24core6detail10print_listIN7atermpp9term_listINS_7process12action_labelEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_bb	0
_ZN5mcrl24core6detail10print_listIN7atermpp9term_listINS_7process6actionEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_bb	0
_ZN5mcrl24core6detail10print_listISt3setINS_4data15sort_expressionESt4lessIS5_ESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSF_bb	0
_ZN5mcrl24core6detail10print_listISt3setINS_4data8variableESt4lessIS5_ESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSF_bb	0
_ZN5mcrl24core6detail10print_listISt6vectorINS_11pbes_system13pbes_equationESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_bb	0
_ZN5mcrl24core6detail10print_listISt6vectorINS_11pres_system13pres_equationESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_bb	0
_ZN5mcrl24core6detail10print_listISt6vectorINS_4data15data_expressionESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_bb	0
_ZN5mcrl24core6detail10print_listISt6vectorINS_4data8variableESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_bb	0
_ZN5mcrl24core6detail10print_listISt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS9_EEEES9_RKT_RKS9_bb	0
_ZN5mcrl24core6detail10print_listISt6vectorIiSaIiEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSB_bb	0
_ZN5mcrl24core6detail10print_listISt6vectorIjSaIjEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSB_bb	0
_ZN5mcrl24core6detail10print_listISt6vectorImSaImEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSB_bb	0
_ZN5mcrl24core6detail15print_argumentsIN7atermpp9term_listINS_4data29untyped_identifier_assignmentEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_	0
_ZN5mcrl24core6detail15print_containerIN7atermpp9term_listINS_4data10assignmentEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_SI_SI_bb	0
_ZN5mcrl24core6detail15print_containerIN7atermpp9term_listINS_4data29untyped_identifier_assignmentEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_SI_SI_bb	0
_ZN5mcrl24core6detail15print_containerIN7atermpp9term_listINS_4data8variableEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_SI_SI_bb	0
_ZN5mcrl24core6detail15print_containerIN7atermpp9term_listINS_7process12action_labelEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_SI_SI_bb	0
_ZN5mcrl24core6detail15print_containerIN7atermpp9term_listINS_7process6actionEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_SI_SI_bb	0
_ZN5mcrl24core6detail15print_containerISt3setINS_11pbes_system36propositional_variable_instantiationESt4lessIS5_ESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSF_SK_SK_bb	0
_ZN5mcrl24core6detail15print_containerISt3setINS_11pbes_system6detail31local_control_flow_graph_vertexESt4lessIS6_ESaIS6_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSG_SL_SL_bb	0
_ZN5mcrl24core6detail15print_containerISt3setINS_4data15data_expressionESt4lessIS5_ESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSF_SK_SK_bb	0
_ZN5mcrl24core6detail15print_containerISt3setImSt4lessImESaImEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_SI_SI_bb	0
_ZN5mcrl24core6detail15print_containerISt6vectorINS_11pbes_system13pbes_equationESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_SI_SI_bb	0
_ZN5mcrl24core6detail15print_containerISt6vectorINS_11pres_system13pres_equationESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_SI_SI_bb	0
_ZN5mcrl24core6detail15print_containerISt6vectorINS_4data8variableESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_SI_SI_bb	0
_ZN5mcrl24core6detail15print_containerISt6vectorIiSaIiEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSB_SG_SG_bb	0
_ZN5mcrl24core6detail15print_containerISt6vectorIjSaIjEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSB_SG_SG_bb	0
_ZN5mcrl24core6detail15print_containerISt6vectorImSaImEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSB_SG_SG_bb	0
_ZN5mcrl24core6detail9print_mapISt3mapINS_4data8variableENS4_15data_expressionESt4lessIS5_ESaISt4pairIKS5_S6_EEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSJ_	0
_ZN5mcrl24core6detail9print_mapISt3mapImNS_4data15data_expressionESt4lessImESaISt4pairIKmS5_EEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSI_	0
_ZN5mcrl24core6detail9print_mapISt3mapImmSt4lessImESaISt4pairIKmmEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSG_	0
_ZN5mcrl24core6detail9print_setISt3setINS_11pbes_system36propositional_variable_instantiationESt4lessIS5_ESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSF_bb	0
_ZN5mcrl24core6detail9print_setISt3setINS_11pbes_system6detail31local_control_flow_graph_vertexESt4lessIS6_ESaIS6_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSG_bb	0
_ZN5mcrl24core6detail9print_setISt3setINS_4data15data_expressionESt4lessIS5_ESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSF_bb	0
_ZN5mcrl24core6detail9print_setISt3setImSt4lessImESaImEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_bb	0
_ZN5mcrl24core6detail9print_setISt6vectorIjSaIjEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSB_bb	0
_ZN5mcrl24core6detail10print_listISt3setINS_11pbes_system15pbes_expressionESt4lessIS5_ESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSF_bb	1
_ZN5mcrl24core6detail15print_argumentsIN7atermpp9term_listINS_4data15data_expressionEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_	1
_ZN5mcrl24core6detail15print_containerIN7atermpp9term_listINS_4data15data_expressionEEEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_SI_SI_bb	1
_ZN5mcrl24core6detail15print_containerISt3setIN7atermpp12aterm_stringESt4lessIS5_ESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSF_SK_SK_bb	1
_ZN5mcrl24core6detail15print_containerISt3setINS_11pbes_system15pbes_expressionESt4lessIS5_ESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSF_SK_SK_bb	1
_ZN5mcrl24core6detail9print_setISt3setIN7atermpp12aterm_stringESt4lessIS5_ESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSF_bb	1
_ZN5mcrl24core6detail10print_listISt6vectorINS_11pbes_system15pbes_expressionESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_bb	2
_ZN5mcrl24core6detail15print_containerISt6vectorINS_11pbes_system15pbes_expressionESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_SI_SI_bb	2
_ZN5mcrl24core6detail15print_containerISt3setINS_4data15sort_expressionESt4lessIS5_ESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSF_SK_SK_bb	3
_ZN5mcrl24core6detail9print_setISt3setINS_4data15sort_expressionESt4lessIS5_ESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSF_bb	3
_ZN5mcrl24core6detail15print_containerISt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS9_EEEES9_RKT_RKS9_SG_SG_bb	4
_ZN5mcrl24core6detail9print_setISt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS9_EEEES9_RKT_RKS9_bb	4
_ZN5mcrl24core6detail15print_containerISt3setINS_4data8variableESt4lessIS5_ESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSF_SK_SK_bb	6
_ZN5mcrl24core6detail9print_setISt3setINS_4data8variableESt4lessIS5_ESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSF_bb	6
_ZN5mcrl24core6detail15print_containerISt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS9_ESaIS9_EEEES9_RKT_RKS9_SI_SI_bb	20
_ZN5mcrl24core6detail9print_setISt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS9_ESaIS9_EEEES9_RKT_RKS9_bb	20
_ZN5mcrl24core6detail15print_containerISt6vectorINS_4data15data_expressionESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_SI_SI_bb	23
_ZN5mcrl24core6detail9print_setISt6vectorINS_4data15data_expressionESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_bb	23
_ZN5mcrl24core6detail15print_containerISt8multisetINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS9_ESaIS9_EEEES9_RKT_RKS9_SI_SI_bb	47
_ZN5mcrl24core6detail9print_setISt8multisetINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS9_ESaIS9_EEEES9_RKT_RKS9_bb	47
_ZN5mcrl24core6detail15print_containerISt6vectorINS_4data15sort_expressionESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_SI_SI_bb	490
_ZN5mcrl24core6detail9print_setISt6vectorINS_4data15sort_expressionESaIS5_EEEENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_RKSD_bb	490

Generated by: LCOV version 1.14