LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - sort_type_checker.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 144 150 96.0 % Date: 2024-04-26 03:18:02 Functions: 10 10 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data17sort_type_checker23check_alias_circularityERKNS0_10basic_sortERKNS0_15sort_expressionESt3setIS2_St4lessIS2_ESaIS2_EERKSt3mapIS2_S5_SA_SaISt4pairIS3_S5_EEE	1185
_ZN5mcrl24data17sort_type_checker47check_for_sort_alias_loop_through_function_sortERKNS0_10basic_sortERKNS0_15sort_expressionERSt3setIS2_St4lessIS2_ESaIS2_EEbRKSt3mapIS2_S5_SA_SaISt4pairIS3_S5_EEE	1836
_ZN5mcrl24data17sort_type_checker35check_for_empty_constructor_domainsERKSt6vectorINS0_15function_symbolESaIS3_EE	4643
_ZN5mcrl24data17sort_type_checker13check_aliasesEv	4684
_ZN5mcrl24data17sort_type_checker11check_sortsEv	4686
_ZN5mcrl24data17sort_type_checkerC2ERKNS0_18sort_specificationEb	4686
_ZNK5mcrl24data17sort_type_checkerclERKNS0_15sort_expressionE	10681
_ZNK5mcrl24data17sort_type_checker28check_basic_sort_is_declaredERKNS0_10basic_sortE	30452
_ZNK5mcrl24data17sort_type_checker22check_sort_is_declaredERKNS0_15sort_expressionE	34781
_ZNK5mcrl24data17sort_type_checker22get_sort_specificationEv	674625

Generated by: LCOV version 1.14