LCOV - code coverage report

Current view: top level - process/include/mcrl2/process - typecheck.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 244 303 80.5 % Date: 2024-05-04 03:44:52 Functions: 46 55 83.6 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl27process6detail17typecheck_builder15check_not_emptyIN7atermpp9term_listINS0_17rename_expressionEEEEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_18process_expressionE	0
_ZN5mcrl27process6detail17typecheck_builder15check_not_equalIN7atermpp12aterm_stringEEEvRKT_S8_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_18process_expressionE	0
_ZN5mcrl27process6detail17typecheck_builder22has_empty_intersectionERKN7atermpp9term_listINS4_INS_4data15sort_expressionEEEEESA_	0
_ZN5mcrl27process6detail17typecheck_builder24check_rename_common_typeERKN7atermpp12aterm_stringES6_RKNS0_18process_expressionE	0
_ZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_5blockE	0
_ZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_6renameE	0
_ZNK5mcrl27process6detail17typecheck_builder32print_untyped_process_assignmentB5cxx11ERKNS0_26untyped_process_assignmentE	0
_ZZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_5blockEENKUlRS4_E_clESA_	0
_ZZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_6renameEENKUlRS4_E_clESA_	0
_ZN5mcrl27process20process_type_checkerC2ISt3setINS_4data8variableESt4lessIS5_ESaIS5_EEN7atermpp9term_listINS0_12action_labelEEESt6vectorINS0_18process_identifierESaISF_EEEERKNS4_18data_specificationERKT_RKT0_RKT1_	3
_ZN5mcrl27process28typecheck_process_expressionISt3setINS_4data8variableESt4lessIS4_ESaIS4_EEN7atermpp9term_listINS0_12action_labelEEESt6vectorINS0_18process_identifierESaISE_EEEENS0_18process_expressionERKSH_RKT_RKNS3_18data_specificationERKT0_RKT1_PKSE_	3
_ZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_6actionE	6
_ZN5mcrl27process20process_type_checkerC2IN7atermpp9term_listINS_4data8variableEEENS4_INS0_12action_labelEEENS4_INS0_18process_identifierEEEEERKNS5_18data_specificationERKT_RKT0_RKT1_	10
_ZN5mcrl27process28typecheck_process_expressionIN7atermpp9term_listINS_4data8variableEEENS3_INS0_12action_labelEEENS3_INS0_18process_identifierEEEEENS0_18process_expressionERKSB_RKT_RKNS4_18data_specificationERKT0_RKT1_PKS9_	10
_ZN5mcrl27process20process_type_checkerclERKNS0_18process_expressionEPKNS0_18process_identifierE	13
_ZN5mcrl27process6detail17typecheck_builder15check_not_emptyIN7atermpp9term_listINS4_12aterm_stringEEEEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_18process_expressionE	24
_ZN5mcrl27process6detail17typecheck_builder21check_action_declaredERKN7atermpp12aterm_stringERKNS0_18process_expressionE	24
_ZN5mcrl27process6detail17typecheck_builder22check_actions_declaredERKN7atermpp9term_listINS3_12aterm_stringEEERKNS0_18process_expressionE	24
_ZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_4hideE	24
_ZZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_4hideEENKUlRS4_E_clESA_	24
_ZN5mcrl27process6detail17typecheck_builder15check_not_emptyIN7atermpp9term_listINS0_20action_name_multisetEEEEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_18process_expressionE	70
_ZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_5allowE	70
_ZZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_5allowEENKUlRS4_E_clESA_	70
_ZN5mcrl27process6detail17typecheck_builder15check_not_emptyIN7atermpp9term_listINS0_24communication_expressionEEEEEvRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS0_18process_expressionE	122
_ZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_4commE	122
_ZZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_4commEENKUlRS4_E_clESA_	122
_ZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_12if_then_elseE	125
_ZZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_12if_then_elseEENKUlRS4_E0_clESA_	125
_ZZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_12if_then_elseEENKUlRS4_E_clESA_	125
_ZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_19stochastic_operatorE	136
_ZN5mcrl27process6detail22multi_actions_containsERKN7atermpp9term_listINS2_12aterm_stringEEERKNS3_INS0_20action_name_multisetEEE	182
_ZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_2atE	342
_ZZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_2atEENKUlRS4_E_clESA_	342
_ZN5mcrl27process6detail19equal_multi_actionsEN7atermpp9term_listINS2_12aterm_stringEEES5_	385
_ZN5mcrl27process23sorts_list_intersectionERKN7atermpp9term_listINS2_INS_4data15sort_expressionEEEEES8_	390
_ZNK5mcrl27process6detail17typecheck_builder17check_assignmentsERKNS0_18process_identifierES5_RKSt6vectorINS_4data10assignmentESaIS8_EERKNS0_26untyped_process_assignmentE	423
_ZN5mcrl27process6detail17typecheck_builder19make_assignment_mapERKN7atermpp9term_listINS_4data29untyped_identifier_assignmentEEE	441
_ZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_26untyped_process_assignmentE	441
_ZN5mcrl27process6detail17typecheck_builder12action_sortsERKN7atermpp12aterm_stringE	585
_ZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_3sumE	618
_ZZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_7if_thenEENKUlRS4_E_clESA_	671
_ZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS0_7if_thenE	672
_ZN5mcrl27process20process_type_checker20equation_identifiersERKSt6vectorINS0_16process_equationESaIS3_EE	1136
_ZN5mcrl27process20process_type_checkerC2ERKNS_4data18data_specificationE	1152
_ZN5mcrl27process20process_type_checkerclERNS0_21process_specificationE	1152
_ZN5mcrl27process31typecheck_process_specificationERNS0_21process_specificationE	1152
_ZN5mcrl27process6detail17typecheck_builder26typecheck_process_instanceERKN7atermpp12aterm_stringERKNS3_9term_listINS_4data15data_expressionEEE	2132
_ZN5mcrl27process20process_type_checker28typecheck_process_expressionERKNS_4data6detail16variable_contextERKNS0_18process_expressionEPKNS0_18process_identifierE	2293
_ZN5mcrl27process6detail17typecheck_builderC2ERNS_4data17data_type_checkerERKNS3_6detail16variable_contextERKNS1_15process_contextERKNS1_14action_contextEPKNS0_18process_identifierE	2293
_ZN5mcrl27process6detail22make_typecheck_builderERNS_4data17data_type_checkerERKNS2_6detail16variable_contextERKNS1_15process_contextERKNS1_14action_contextEPKNS0_18process_identifierE	2293
_ZN5mcrl27process6detail17typecheck_builder15is_process_nameERKN7atermpp12aterm_stringE	2573
_ZN5mcrl27process6detail17typecheck_builder16typecheck_actionERKN7atermpp12aterm_stringERKNS3_9term_listINS_4data15data_expressionEEE	2883
_ZN5mcrl27process16typecheck_actionERKN7atermpp12aterm_stringERKNS1_9term_listINS_4data15data_expressionEEERNS6_17data_type_checkerERKNS6_6detail16variable_contextERKNS0_6detail14action_contextE	3082
_ZN5mcrl27process6detail17typecheck_builder14is_action_nameERKN7atermpp12aterm_stringE	5009
_ZN5mcrl27process6detail17typecheck_builder5applyINS0_18process_expressionEEEvRT_RKNS_4data22untyped_data_parameterE	5009

Generated by: LCOV version 1.14