LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - sort_specification.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 85 85 100.0 % Date: 2024-05-01 03:37:31 Functions: 25 25 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data18sort_specification17add_context_sortsISt6vectorINS0_15sort_expressionESaIS4_EEEEvRKT_PN7atermpp19enable_if_containerIS7_vE4typeE	1
_ZN5mcrl24data18sort_specification11remove_sortERKNS0_15sort_expressionE	2
_ZN5mcrl24data6detail6removeISt3setINS0_13data_equationESt4lessIS4_ESaIS4_EES4_EEvRT_RKT0_	2
_ZN5mcrl24data6detail6removeISt6vectorINS0_10basic_sortESaIS4_EENS0_15sort_expressionEEEvRT_RKT0_	2
_ZN5mcrl24data6detail6removeISt6vectorINS0_13data_equationESaIS4_EES4_EEvRT_RKT0_	2
_ZN5mcrl24data6detail6removeISt6vectorINS0_15function_symbolESaIS4_EENS0_15data_expressionEEEvRT_RKT0_	5
_ZN5mcrl24data6detail6removeISt6vectorINS0_15function_symbolESaIS4_EES4_EEvRT_RKT0_	5
_ZNK5mcrl24data18sort_specificationeqERKS1_	7
_ZN5mcrl24data18sort_specificationC2ERKSt6vectorINS0_10basic_sortESaIS3_EERKS2_INS0_5aliasESaIS8_EE	73
_ZNK5mcrl24data18sort_specification13context_sortsEv	186
_ZN5mcrl24data18sort_specification8add_sortERKNS0_10basic_sortE	207
_ZN5mcrl24data18sort_specification9add_aliasERKNS0_5aliasE	2029
_ZN5mcrl24data18sort_specification27import_system_defined_sortsISt3setINS0_15sort_expressionESt4lessIS4_ESaIS4_EEEEvRKT_	2220
_ZN5mcrl24data18sort_specification17add_context_sortsISt3setINS0_15sort_expressionESt4lessIS4_ESaIS4_EEEEvRKT_PN7atermpp19enable_if_containerIS9_vE4typeE	4454
_ZN5mcrl24data18sort_specification27import_system_defined_sortsIN7atermpp9term_listINS0_15sort_expressionEEEEEvRKT_	9286
_ZNK5mcrl24data18sort_specification5sortsEv	14330
_ZN5mcrl24data18sort_specification16add_context_sortERKNS0_15sort_expressionE	27275
_ZN5mcrl24data18sort_specificationC2Ev	30779
_ZNK5mcrl24data18sort_specification18user_defined_sortsEv	33471
_ZNK5mcrl24data18sort_specification20user_defined_aliasesEv	46996
_ZN5mcrl24data18sort_specification23add_system_defined_sortERKNS0_15sort_expressionE	61704
_ZNK5mcrl24data18sort_specification44sorts_are_not_necessarily_normalised_anymoreEv	111072
_ZNK5mcrl24data18sort_specification42data_is_not_necessarily_normalised_anymoreEv	122472
_ZNK5mcrl24data18sort_specification14sort_alias_mapEv	4767099
_ZNK5mcrl24data18sort_specification40normalise_sort_specification_if_requiredEv	4781429

Generated by: LCOV version 1.14