LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - join.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 26 32 81.2 % Date: 2024-05-04 03:44:52 Functions: 10 14 71.4 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system7join_orIN9__gnu_cxx17__normal_iteratorIPNS0_15pbes_expressionESt6vectorIS4_SaIS4_EEEEEES4_T_SA_	0
_ZN5mcrl211pbes_system8join_andIN9__gnu_cxx17__normal_iteratorIPNS0_15pbes_expressionESt6vectorIS4_SaIS4_EEEEEES4_T_SA_	0
_ZZN5mcrl211pbes_system7join_orIN9__gnu_cxx17__normal_iteratorIPNS0_15pbes_expressionESt6vectorIS4_SaIS4_EEEEEES4_T_SA_ENKUlRKS4_SC_E_clESC_SC_	0
_ZZN5mcrl211pbes_system8join_andIN9__gnu_cxx17__normal_iteratorIPNS0_15pbes_expressionESt6vectorIS4_SaIS4_EEEEEES4_T_SA_ENKUlRKS4_SC_E_clESC_SC_	0
_ZZN5mcrl211pbes_system7join_orISt23_Rb_tree_const_iteratorINS0_15pbes_expressionEEEES3_T_S5_ENKUlRKS3_S7_E_clES7_S7_	44
_ZN5mcrl211pbes_system18optimized_join_andIN9__gnu_cxx17__normal_iteratorIPNS0_15pbes_expressionESt6vectorIS4_SaIS4_EEEEEES4_T_SA_	64
_ZN5mcrl211pbes_system7join_orISt23_Rb_tree_const_iteratorINS0_15pbes_expressionEEEES3_T_S5_	98
_ZN5mcrl211pbes_system8join_andISt23_Rb_tree_const_iteratorINS0_15pbes_expressionEEEES3_T_S5_	114
_ZZN5mcrl211pbes_system8join_andISt23_Rb_tree_const_iteratorINS0_15pbes_expressionEEEES3_T_S5_ENKUlRKS3_S7_E_clES7_S7_	136
_ZZN5mcrl211pbes_system18optimized_join_andIN9__gnu_cxx17__normal_iteratorIPNS0_15pbes_expressionESt6vectorIS4_SaIS4_EEEEEES4_T_SA_ENKUlRKS4_SC_E_clESC_SC_	224
_ZN5mcrl211pbes_system8split_orERKNS0_15pbes_expressionEb	508
_ZN5mcrl211pbes_system17optimized_join_orIN9__gnu_cxx17__normal_iteratorIPNS0_15pbes_expressionESt6vectorIS4_SaIS4_EEEEEES4_T_SA_	1660
_ZZN5mcrl211pbes_system17optimized_join_orIN9__gnu_cxx17__normal_iteratorIPNS0_15pbes_expressionESt6vectorIS4_SaIS4_EEEEEES4_T_SA_ENKUlRKS4_SC_E_clESC_SC_	2070
_ZN5mcrl211pbes_system9split_andERKNS0_15pbes_expressionEb	2408

Generated by: LCOV version 1.14