LCOV - code coverage report
Current view:
top level
-
data/include/mcrl2/data
- structured_sort_constructor.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
50
56
89.3 %
Date:
2024-05-01 03:37:31
Functions:
20
26
76.9 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24data27structured_sort_constructorC2Ev
0
_ZN5mcrl24data32make_structured_sort_constructorIJN7atermpp12aterm_stringENS2_9term_listINS0_36structured_sort_constructor_argumentEEES3_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_
0
_ZN5mcrl24data32make_structured_sort_constructorIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_13function_sortEEET_RKSC_RKNS0_15sort_expressionEEUlSH_E_EEE5applyINS0_27structured_sort_constructorEEEvRSC_RKSM_EUlRNS2_9term_listINS0_36structured_sort_constructor_argumentEEEE_S3_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_
0
_ZN5mcrl24data32make_structured_sort_constructorIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderEZNS0_20replace_untyped_sortINS0_15data_expressionEEET_RKSC_RKNS0_15sort_expressionEEUlSH_E_EEE5applyINS0_27structured_sort_constructorEEEvRSC_RKSM_EUlRNS2_9term_listINS0_36structured_sort_constructor_argumentEEEE_S3_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_
0
_ZN5mcrl24data32make_structured_sort_constructorIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS_11pbes_system18absinthe_algorithm32absinthe_sort_expression_builderEE5applyINS0_27structured_sort_constructorEEEvRT_RKSC_EUlRNS2_9term_listINS0_36structured_sort_constructor_argumentEEEE_S3_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_
0
_ZN5mcrl24datalsERSoRKNS0_27structured_sort_constructorE
0
_ZN5mcrl24data27structured_sort_constructorC2ISt6vectorINS0_36structured_sort_constructor_argumentESaIS4_EELm3ELm6EEERAT0__KcRKT_RAT1__S7_PN7atermpp19enable_if_containerISA_S4_E4typeE
1
_ZN5mcrl24data27structured_sort_constructorC2IN7atermpp9term_listINS0_36structured_sort_constructor_argumentEEELm2ELm5EEERAT0__KcRKT_RAT1__S7_PNS3_19enable_if_containerISA_S5_E4typeE
2
_ZN5mcrl24data27structured_sort_constructorC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
6
_ZN5mcrl24data27structured_sort_constructorC2IN7atermpp9term_listINS0_36structured_sort_constructor_argumentEEEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_PNS3_19enable_if_containerISF_S5_E4typeE
6
_ZN5mcrl24data27structured_sort_constructorC2ERKN7atermpp12aterm_stringES5_
328
_ZN5mcrl24data27structured_sort_constructorC2ISt6vectorINS0_36structured_sort_constructor_argumentESaIS4_EEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_PN7atermpp19enable_if_containerISF_S4_E4typeE
335
_ZN5mcrl24data27structured_sort_constructorC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES9_
561
_ZN5mcrl24data27structured_sort_constructorC2ERKS1_
664
_ZN5mcrl24data27structured_sort_constructorC2ERKN7atermpp12aterm_stringERKNS2_9term_listINS0_36structured_sort_constructor_argumentEEERS3_
847
_ZNK5mcrl24data27structured_sort_constructor19recogniser_functionERKNS0_15sort_expressionE
2804
_ZNK5mcrl24data27structured_sort_constructor20projection_functionsERKNS0_15sort_expressionE
7377
_ZN5mcrl24data27structured_sort_constructorC2IN7atermpp9term_listINS0_36structured_sort_constructor_argumentEEEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_SE_PNS3_19enable_if_containerISF_S5_E4typeE
7390
_ZN5mcrl24data32make_structured_sort_constructorIJN7atermpp12aterm_stringEZNS0_20add_sort_expressionsINS_4core7builderENS0_6detail32replace_sort_expressions_builderINS0_23sort_expression_builderENS0_26sort_expression_assignmentEEEE5applyINS0_27structured_sort_constructorEEEvRT_RKSE_EUlRNS2_9term_listINS0_36structured_sort_constructor_argumentEEEE_S3_EEEvRNS2_9term_applINS2_5atermEEEDpRKT_
17153
_ZN5mcrl24data27structured_sort_constructorC2ISt6vectorINS0_36structured_sort_constructor_argumentESaIS4_EEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKT_SE_PN7atermpp19enable_if_containerISF_S4_E4typeE
33580
_ZN5mcrl24data27structured_sort_constructorC2EOS1_
48081
_ZNK5mcrl24data27structured_sort_constructor14argument_sortsISt20back_insert_iteratorISt6vectorINS0_15sort_expressionESaIS5_EEEEEvT_
63176
_ZNK5mcrl24data27structured_sort_constructor20constructor_functionERKNS0_15sort_expressionE
63176
_ZNK5mcrl24data27structured_sort_constructor10recogniserEv
92088
_ZNK5mcrl24data27structured_sort_constructor4nameEv
124364
_ZNK5mcrl24data27structured_sort_constructor9argumentsEv
152538
Generated by:
LCOV version 1.14