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
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