LCOV - code coverage report

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

Function Name	Hit count
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data21assignment_expressionEEclERKS4_	1
_ZNK7atermpp6detail19do_not_convert_termINS_5atermEEclERS2_	1
_ZNK7atermpp6detail19do_not_convert_termINS_12aterm_stringEEclERKS2_	2
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl27process17rename_expressionEEclERS4_	11
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl27process6actionEEclERS4_	18
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data6detail31variable_with_a_rational_factorEEclERS5_	54
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data21assignment_expressionEEclERS4_RKS4_	148
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data36structured_sort_constructor_argumentEEclERS4_	174
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data22untyped_data_parameterEEclERS4_	189
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl27process20action_name_multisetEEclERS4_	190
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl27process24communication_expressionEEclERS4_	199
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data15function_symbolEEclERKS4_	206
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl27process12action_labelEEclERKS4_	345
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data15sort_expressionEEclERS4_	352
_ZNK7atermpp6detail19do_not_convert_termINS_5atermEEclERKS2_	607
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data13function_sortEEclERS4_	717
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data10assignmentEEclERKS4_	758
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl27process20action_name_multisetEEclERKS4_	851
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data27structured_sort_constructorEEclERS4_	852
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data29untyped_identifier_assignmentEEclERS4_	1020
_ZNK7atermpp6detail19do_not_convert_termINS_9term_listINS2_IN5mcrl24data6detail10match_treeEEEEEEclERKS8_	1080
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data15data_expressionEEclERS4_RKS4_	1238
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl27process12action_labelEEclERS4_	2552
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data6detail18variable_or_numberEEclERKS5_	2782
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data36structured_sort_constructor_argumentEEclERS4_RKS4_	3411
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data13function_sortEEclERKS4_	8733
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data10assignmentEEclERS4_	11863
_ZNK7atermpp6detail19do_not_convert_termINS_12aterm_stringEEclERS2_	12635
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data15data_expressionEEclERS4_	21950
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data36structured_sort_constructor_argumentEEclERKS4_	23343
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data6detail10match_treeEEclERS5_	27393
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data27structured_sort_constructorEEclERKS4_	34256
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data8variableEEclERS4_	77870
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl27process6actionEEclERKS4_	312255
_ZNK7atermpp6detail19do_not_convert_termINS_9term_listIN5mcrl24data8variableEEEEclERKS6_	582881
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data15data_expressionEEclERKS4_	2980662
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data8variableEEclERS4_RKS4_	4347238
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data8variableEEclERKS4_	6293959
_ZNK7atermpp6detail19do_not_convert_termIN5mcrl24data15sort_expressionEEclERKS4_	32661571

Generated by: LCOV version 1.14