LCOV - code coverage report
Current view: top level - data/include/mcrl2/data - standard_container_utility.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 87 94 92.6 %
Date: 2024-05-04 03:44:52 Functions: 22 22 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl24data9sort_list16list_enumerationISt6vectorINS0_15data_expressionESaIS4_EEEES4_RKNS0_15sort_expressionERKT_PN7atermpp19enable_if_containerISA_S4_E4typeE 1
_ZN5mcrl24data9sort_list4listISt6vectorINS0_15data_expressionESaIS4_EEEENS0_11applicationERKNS0_15sort_expressionERKT_PN7atermpp19enable_if_containerISB_S4_E4typeE 2
_ZN5mcrl24data9sort_list4listIN7atermpp9term_listINS0_15data_expressionEEEEENS0_11applicationERKNS0_15sort_expressionERKT_PNS3_19enable_if_containerISB_S5_E4typeE 116
_ZN5mcrl24data9sort_fbag4fbagERKNS0_15sort_expressionERKN7atermpp9term_listINS0_15data_expressionEEE 186
_ZN5mcrl24data9sort_fbag4fbagISt6vectorINS0_15data_expressionESaIS4_EEEENS0_11applicationERKNS0_15sort_expressionERKT_PN7atermpp19enable_if_containerISB_S4_E4typeE 186
_ZN5mcrl24data9sort_fset4fsetERKNS0_15sort_expressionERKN7atermpp9term_listINS0_15data_expressionEEE 193
_ZN5mcrl24data9sort_fset4fsetISt6vectorINS0_15data_expressionESaIS4_EEEENS0_11applicationERKNS0_15sort_expressionERKT_PN7atermpp19enable_if_containerISB_S4_E4typeE 193
_ZN5mcrl24data9sort_list16list_enumerationERKNS0_15sort_expressionERKN7atermpp9term_listINS0_15data_expressionEEE 245
_ZN5mcrl24data9sort_list16list_enumerationERKNS0_15sort_expressionE 246
_ZN5mcrl24data8sort_bag15bag_enumerationERKNS0_15sort_expressionE 386
_ZN5mcrl24data8sort_bag15bag_enumerationERKNS0_15sort_expressionERKN7atermpp9term_listINS0_15data_expressionEEE 386
_ZN5mcrl24data8sort_set15set_enumerationERKNS0_15sort_expressionE 393
_ZN5mcrl24data8sort_set15set_enumerationERKNS0_15sort_expressionERKN7atermpp9term_listINS0_15data_expressionEEE 393
_ZN5mcrl24data8sort_bag30is_bag_enumeration_applicationERKN7atermpp9term_applINS2_5atermEEE 9712
_ZN5mcrl24data8sort_bag34is_bag_enumeration_function_symbolERKN7atermpp9term_applINS2_5atermEEE 9712
_ZN5mcrl24data8sort_set30is_set_enumeration_applicationERKN7atermpp9term_applINS2_5atermEEE 9726
_ZN5mcrl24data8sort_set34is_set_enumeration_function_symbolERKN7atermpp9term_applINS2_5atermEEE 9726
_ZN5mcrl24data9sort_list31is_list_enumeration_applicationERKN7atermpp9term_applINS2_5atermEEE 31013
_ZN5mcrl24data9sort_list35is_list_enumeration_function_symbolERKN7atermpp9term_applINS2_5atermEEE 31013
_ZN5mcrl24data8sort_bag20bag_enumeration_nameEv 35348
_ZN5mcrl24data8sort_set20set_enumeration_nameEv 35781
_ZN5mcrl24data9sort_list21list_enumeration_nameEv 56325

Generated by: LCOV version 1.14