LCOV - mcrl2_coverage.info.cleaned - data/include/mcrl2/data/typecheck.h

LCOV - code coverage report

Current view:	top level - data/include/mcrl2/data - typecheck.h (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	54	61	88.5 %
Date:	2024-04-26 03:18:02	Functions:	11	11	100.0 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl24data17data_type_checker20typecheck_assignmentERKNS0_10assignmentERKNS0_6detail16variable_contextE	15
_ZN5mcrl24data25typecheck_data_expressionERKNS0_15data_expressionERKNS0_18data_specificationE	16
_ZN5mcrl24data25typecheck_sort_expressionERKNS0_15sort_expressionERKNS0_18data_specificationE	29
_ZN5mcrl24data28typecheck_data_specificationERNS0_18data_specificationE	158
_ZN5mcrl24data17data_type_checker25typecheck_assignment_listERKN7atermpp9term_listINS0_10assignmentEEERKNS0_6detail16variable_contextE	168
_ZN5mcrl24data32typecheck_untyped_data_parameterERNS0_17data_type_checkerERKN7atermpp12aterm_stringERKNS3_9term_listINS0_15data_expressionEEERKNS0_15sort_expressionERKNS0_6detail16variable_contextE	171
_ZN5mcrl24data25typecheck_data_expressionISt6vectorINS0_8variableESaIS3_EEEENS0_15data_expressionERKS6_RKT_RKNS0_18data_specificationE	203
_ZN5mcrl24data25typecheck_data_expressionIN7atermpp9term_listINS0_8variableEEEEENS0_15data_expressionERKS6_RKT_RKNS0_18data_specificationE	606
_ZN5mcrl24data17data_type_checker19upcast_numeric_typeERKNS0_15data_expressionERKNS0_15sort_expressionERKNS0_6detail16variable_contextE	779
_ZNK5mcrl24data17data_type_checker30typechecked_data_specificationEv	3449
_ZN5mcrl24data17data_type_checker25typecheck_data_expressionERKNS0_15data_expressionERKNS0_15sort_expressionERKNS0_6detail16variable_contextE	12992