LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - normalize_sorts.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 44 45 97.8 % Date: 2024-05-01 03:37:31 Functions: 8 9 88.9 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data15normalize_sortsIN7atermpp9term_listINS0_13data_equationEEEEET_RKS6_RKNS0_18sort_specificationEPNSt9enable_ifIXsrSt10is_base_ofINS2_5atermES6_E5valueEvE4typeE	0
_ZN5mcrl24data15normalize_sortsIN7atermpp9term_listINS0_8variableEEEEET_RKS6_RKNS0_18sort_specificationEPNSt9enable_ifIXsrSt10is_base_ofINS2_5atermES6_E5valueEvE4typeE	124
_ZN5mcrl24data15normalize_sortsINS0_10basic_sortEEET_RKS3_RKNS0_18sort_specificationEPNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES3_E5valueEvE4typeE	328
_ZN5mcrl24data15normalize_sortsISt6vectorINS0_13data_equationESaIS3_EEEEvRT_RKNS0_18sort_specificationEPNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES6_E5valueEvE4typeE	387
_ZN5mcrl24data15normalize_sortsINS0_15sort_expressionEEET_RKS3_RKNS0_18sort_specificationEPNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES3_E5valueEvE4typeE	747509
_ZN5mcrl24data15normalize_sortsINS0_15data_expressionEEET_RKS3_RKNS0_18sort_specificationEPNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES3_E5valueEvE4typeE	1290306
_ZN5mcrl24data15normalize_sortsINS0_13data_equationEEET_RKS3_RKNS0_18sort_specificationEPNSt9enable_ifIXsrSt10is_base_ofIN7atermpp5atermES3_E5valueEvE4typeE	2726561
_ZN5mcrl24data6detail24normalize_sorts_functionC2ERKNS0_18sort_specificationE	4767099
_ZNK5mcrl24data6detail24normalize_sorts_functionclERKNS0_15sort_expressionE	65249475

Generated by: LCOV version 1.14