LCOV - code coverage report
Current view:
top level
-
utilities/include/mcrl2/utilities/detail
- container_utility.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
47
54
87.0 %
Date:
2024-03-08 02:52:28
Functions:
31
47
66.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl29utilities6detail12mapped_valueISt3mapImmSt4lessImESaISt4pairIKmmEEEEENT_11mapped_typeERKSB_RKNSB_8key_typeERKSC_
0
_ZN5mcrl29utilities6detail12pick_elementISt3setINS_11pbes_system6detail26stategraph_local_algorithm19equation_label_pairESt4lessIS7_ESaIS7_EEEENT_10value_typeERSC_
0
_ZN5mcrl29utilities6detail12pick_elementISt3setIPKNS_11pbes_system6detail32global_control_flow_graph_vertexESt4lessIS8_ESaIS8_EEEENT_10value_typeERSD_
0
_ZN5mcrl29utilities6detail14set_differenceINS_7process12action_labelEEESt3setIT_St4lessIS6_ESaIS6_EERKSA_SC_
0
_ZN5mcrl29utilities6detail22has_empty_intersectionISt23_Rb_tree_const_iteratorIN7atermpp9term_listINS_4data15sort_expressionEEEES9_EEbT_SA_T0_SB_
0
_ZN5mcrl29utilities6detail22has_empty_intersectionISt3setIN7atermpp9term_listINS_4data15sort_expressionEEESt4lessIS8_ESaIS8_EESC_EEbRKT_RKT0_
0
_ZN5mcrl29utilities6detail7has_keyIN7atermpp12aterm_stringES4_EEbRKSt3mapIT_T0_St4lessIS6_ESaISt4pairIKS6_S7_EEERSB_
0
_ZN5mcrl29utilities6detail8containsIN7atermpp18term_balanced_treeINS_4data15data_expressionEEEEEbRKSt13unordered_setIT_St4hashIS9_ESt8equal_toIS9_ESaIS9_EERKNSt3setIS9_St4lessIS9_ESE_E10value_typeE
0
_ZN5mcrl29utilities6detail8containsIN7atermpp9term_listINS3_12aterm_stringEEEEEbRKT_RKNS7_10value_typeE
0
_ZN5mcrl29utilities6detail8containsINS_3lps12multi_actionEEEbRKSt3setIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE
0
_ZN5mcrl29utilities6detail8containsINS_4data15function_symbolEEEbRKSt3setIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE
0
_ZN5mcrl29utilities6detail8containsIPKNS_11pbes_system6detail32global_control_flow_graph_vertexEEEbRKSt3setIT_St4lessIS9_ESaIS9_EERKNSD_10value_typeE
0
_ZN5mcrl29utilities6detail8containsISt6vectorIN7atermpp18term_balanced_treeINS_4data15data_expressionEEESaIS8_EEEEbRKT_RKNSB_10value_typeE
0
_ZN5mcrl29utilities6detail8containsISt6vectorINS_4data15function_symbolESaIS5_EEEEbRKT_RKNS8_10value_typeE
0
_ZN5mcrl29utilities6detail8containsISt6vectorImSaImEEEEbRKT_RKNS6_10value_typeE
0
_ZN5mcrl29utilities6detail8containsIjEEbRKSt3setIT_St4lessIS4_ESaIS4_EERKNS8_10value_typeE
0
_ZN5mcrl29utilities6detail16set_intersectionImEESt3setIT_St4lessIS4_ESaIS4_EERKS8_SA_
2
_ZN5mcrl29utilities6detail9remove_ifISt3setINS_4data15data_expressionESt4lessIS5_ESaIS5_EEZNKS4_6detail21equality_set_with_top11must_deleteERKN7atermpp9term_listINS4_8variableEEERKSE_RS9_EUlRKS5_E_EEvRT_RKT0_
2
_ZN5mcrl29utilities6detail7has_keyINS_4data15function_symbolES4_EEbRKSt3mapIT_T0_St4lessIS6_ESaISt4pairIKS6_S7_EEERSB_
3
_ZN5mcrl29utilities6detail8containsINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEEbRKSt3setIT_St4lessISA_ESaISA_EERKNSE_10value_typeE
3
_ZN5mcrl29utilities6detail12mapped_valueISt3mapImNS_4data15data_expressionESt4lessImESaISt4pairIKmS5_EEEEENT_11mapped_typeERKSD_RKNSD_8key_typeERKSE_
4
_ZN5mcrl29utilities6detail12set_includesINS_4data8variableEEEbRKSt3setIT_St4lessIS6_ESaIS6_EESC_
6
_ZN5mcrl29utilities6detail8containsINS_7process17multi_action_nameEEEbRKT_RKNS5_10value_typeE
7
_ZN5mcrl29utilities6detail22has_empty_intersectionISt23_Rb_tree_const_iteratorIN7atermpp12aterm_stringEES6_EEbT_S7_T0_S8_
8
_ZN5mcrl29utilities6detail8containsIN7atermpp12aterm_stringEEEbRKSt8multisetIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE
9
_ZN5mcrl29utilities6detail8containsImEEbRKSt3setIT_St4lessIS4_ESaIS4_EERKNS8_10value_typeE
10
_ZN5mcrl29utilities6detail8containsINS_7process18process_identifierEEEbRKSt3setIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE
13
_ZN5mcrl29utilities6detail12pick_elementISt3setIPKNS_11pbes_system6detail31local_control_flow_graph_vertexESt4lessIS8_ESaIS8_EEEENT_10value_typeERSD_
16
_ZN5mcrl29utilities6detail8containsISt6vectorINS_4data8variableESaIS5_EEEEbRKT_RKNS8_10value_typeE
21
_ZN5mcrl29utilities6detail9set_unionINS_4data8variableEEESt3setIT_St4lessIS6_ESaIS6_EERKSA_SC_
43
_ZN5mcrl29utilities6detail9remove_ifISt3mapINS_4data8variableESt3setINS4_15data_expressionESt4lessIS7_ESaIS7_EES8_IS5_ESaISt4pairIKS5_SB_EEEZNS4_6detail21equality_set_with_top7delete_ERKN7atermpp9term_listIS5_EEEUlRSF_E_EEvRT_RKT0_
52
_ZN5mcrl29utilities6detail12pick_elementISt3setImSt4lessImESaImEEEENT_10value_typeERS8_
65
_ZN5mcrl29utilities6detail14set_differenceINS_4data8variableEEESt3setIT_St4lessIS6_ESaIS6_EERKSA_SC_
75
_ZN5mcrl29utilities6detail12pick_elementISt3setINS_11pbes_system36propositional_variable_instantiationESt4lessIS5_ESaIS5_EEEENT_10value_typeERSA_
90
_ZN5mcrl29utilities6detail8containsINS_11pbes_system36propositional_variable_instantiationEEEbRKSt3setIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE
113
_ZN5mcrl29utilities6detail8containsINS_4data8variableEEEbRKSt8multisetIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE
122
_ZN5mcrl29utilities6detail22has_empty_intersectionISt23_Rb_tree_const_iteratorINS_4data8variableEES6_EEbT_S7_T0_S8_
132
_ZN5mcrl29utilities6detail22has_empty_intersectionISt3setINS_4data8variableESt4lessIS5_ESaIS5_EES9_EEbRKT_RKT0_
132
_ZN5mcrl29utilities6detail8containsISt6vectorIN7atermpp12aterm_stringESaIS5_EEEEbRKT_RKNS8_10value_typeE
166
_ZN5mcrl29utilities6detail16set_intersectionINS_4data8variableEEESt3setIT_St4lessIS6_ESaIS6_EERKSA_SC_
1079
_ZN5mcrl29utilities6detail8containsINS_7process12action_labelEEEbRKSt3setIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE
1830
_ZN5mcrl29utilities6detail8containsISt6vectorIjSaIjEEEEbRKT_RKNS6_10value_typeE
5819
_ZN5mcrl29utilities6detail16set_intersectionINS_4data15data_expressionEEESt3setIT_St4lessIS6_ESaIS6_EERKSA_SC_
8337
_ZN5mcrl29utilities6detail8containsINS_4data8variableEEEbRKSt3setIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE
40022
_ZN5mcrl29utilities6detail8containsIN7atermpp9term_listINS_4data8variableEEEEEbRKT_RKNS8_10value_typeE
42028
_ZN5mcrl29utilities6detail8containsIN7atermpp12aterm_stringEEEbRKSt3setIT_St4lessIS6_ESaIS6_EERKNSA_10value_typeE
43603
_ZN5mcrl29utilities6detail9remove_ifISt3setINS_4data15sort_expressionESt4lessIS5_ESaIS5_EEZNS4_6detail10check_sortIS9_EEbRKS5_RKT_EUlSD_E_EEvRSE_RKT0_
178003
Generated by:
LCOV version 1.14