LCOV - code coverage report

Current view: top level - modal_formula/include/mcrl2/modal_formula - typecheck.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 226 326 69.3 % Date: 2024-04-26 03:18:02 Functions: 40 56 71.4 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_4plusE	0
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_5minusE	0
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_8variableE	0
_ZN5mcrl215action_formulas6detail17typecheck_builder5applyINS0_14action_formulaEEEvRT_RKNS0_2atE	0
_ZN5mcrl215action_formulas6detail17typecheck_builder5applyINS0_14action_formulaEEEvRT_RKNS0_6forallE	0
_ZN5mcrl215action_formulas6detail17typecheck_builder5applyINS0_14action_formulaEEEvRT_RKNS_4data15data_expressionE	0
_ZN5mcrl215action_formulas6detail17typecheck_builder5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_2atE	0
_ZN5mcrl215action_formulas6detail17typecheck_builder5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS_4data15data_expressionE	0
_ZN5mcrl216regular_formulas6detail17typecheck_builder14make_bag_unionERKNS_4data15data_expressionES6_	0
_ZN5mcrl216regular_formulas6detail17typecheck_builder14make_set_unionERKNS_4data15data_expressionES6_	0
_ZN5mcrl216regular_formulas6detail17typecheck_builder15make_fbag_unionERKNS_4data15data_expressionES6_	0
_ZN5mcrl216regular_formulas6detail17typecheck_builder15make_fset_unionERKNS_4data15data_expressionES6_	0
_ZN5mcrl216regular_formulas6detail17typecheck_builder9make_plusERKNS_4data15data_expressionES6_	0
_ZNK5mcrl216regular_formulas6detail17typecheck_builder15make_element_atERKNS_4data15data_expressionES6_	0
_ZZN5mcrl215action_formulas6detail17typecheck_builder5applyINS0_14action_formulaEEEvRT_RKNS0_2atEENKUlRS4_E_clESA_	0
_ZZN5mcrl215action_formulas6detail17typecheck_builder5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_2atEENKUlRNS0_14action_formulaEE_clESC_	0
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_11yaled_timedE	1
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_14const_multiplyE	1
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_18const_multiply_altE	1
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_3sumE	1
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_8supremumE	1
_ZN5mcrl215action_formulas6detail17typecheck_builder5applyINS0_14action_formulaEEEvRT_RKNS0_6existsE	1
_ZN5mcrl215action_formulas6detail17typecheck_builder5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6existsE	1
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_7infimumE	2
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_11delay_timedE	3
_ZN5mcrl215action_formulas6detail17typecheck_builder5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS0_6forallE	3
_ZN5mcrl214state_formulas23typecheck_state_formulaIN7atermpp9term_listINS_4data8variableEEENS3_INS_7process12action_labelEEEEENS0_13state_formulaERKSA_bRKNS4_18data_specificationERKT0_RKT_	5
_ZN5mcrl214state_formulas26state_formula_type_checkerC2IN7atermpp9term_listINS_7process12action_labelEEENS4_INS_4data8variableEEEEERKNS8_18data_specificationEbRKT_RKT0_	5
_ZN5mcrl216regular_formulas6detail17typecheck_builder5applyINS0_15regular_formulaEEEvRT_RKNS0_23untyped_regular_formulaE	5
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_6existsE	8
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_6forallE	19
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS_4data15data_expressionE	26
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_4not_E	36
_ZN5mcrl215action_formulas6detail17typecheck_builder5applyINS0_14action_formulaEEEvRT_RKNS_7process20untyped_multi_actionE	54
_ZN5mcrl214state_formulas6detail17typecheck_builder11apply_mu_nuINS0_2nuEEENS0_13state_formulaERKT_b	68
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_2nuE	68
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_3mayE	88
_ZN5mcrl214state_formulas6detail17typecheck_builder11apply_mu_nuINS0_2muEEENS0_13state_formulaERKT_b	100
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_2muE	100
_ZN5mcrl215action_formulas6detail17typecheck_builder5applyINS_16regular_formulas15regular_formulaEEEvRT_RKNS_7process20untyped_multi_actionE	125
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS0_4mustE	137
_ZN5mcrl214state_formulas6detail17typecheck_builder23apply_untyped_parameterERKN7atermpp12aterm_stringERKNS3_9term_listINS_4data15data_expressionEEE	143
_ZN5mcrl214state_formulas6detail17typecheck_builder5applyINS0_13state_formulaEEEvRT_RKNS_4data22untyped_data_parameterE	143
_ZNK5mcrl214state_formulas6detail17typecheck_builder20assignment_variablesERKN7atermpp9term_listINS_4data10assignmentEEE	168
_ZN5mcrl215action_formulas6detail17typecheck_builder16typecheck_actionERKN7atermpp12aterm_stringERKNS3_9term_listINS_4data15data_expressionEEE	171
_ZN5mcrl214state_formulas23typecheck_state_formulaERKNS0_13state_formulaERKNS_3lps24stochastic_specificationEb	174
_ZN5mcrl214state_formulas23typecheck_state_formulaISt3setINS_4data8variableESt4lessIS4_ESaIS4_EEN7atermpp9term_listINS_7process12action_labelEEEEENS0_13state_formulaERKSE_bRKNS3_18data_specificationERKT0_RKT_	174
_ZN5mcrl214state_formulas26state_formula_type_checkerC2IN7atermpp9term_listINS_7process12action_labelEEESt3setINS_4data8variableESt4lessISA_ESaISA_EEEERKNS9_18data_specificationEbRKT_RKT0_	174
_ZN5mcrl214state_formulas26state_formula_type_checker23typecheck_state_formulaERKNS0_13state_formulaE	179
_ZN5mcrl214state_formulas6detail17typecheck_builderC2ERNS_4data17data_type_checkerERKNS3_6detail16variable_contextERKNS_7process6detail14action_contextERKNS1_22state_variable_contextEb	179
_ZN5mcrl214state_formulas6detail22make_typecheck_builderERNS_4data17data_type_checkerERKNS2_6detail16variable_contextERKNS_7process6detail14action_contextERKNS1_22state_variable_contextEb	179
_ZN5mcrl216regular_formulas6detail17typecheck_builderC2ERNS_4data17data_type_checkerERKNS3_6detail16variable_contextERKNS_7process6detail14action_contextE	225
_ZN5mcrl216regular_formulas6detail22make_typecheck_builderERNS_4data17data_type_checkerERKNS2_6detail16variable_contextERKNS_7process6detail14action_contextE	225
_ZN5mcrl215action_formulas6detail17typecheck_builderC2ERNS_4data17data_type_checkerERKNS3_6detail16variable_contextERKNS_7process6detail14action_contextE	230
_ZN5mcrl215action_formulas6detail22make_typecheck_builderERNS_4data17data_type_checkerERKNS2_6detail16variable_contextERKNS_7process6detail14action_contextE	230
_ZN5mcrl216regular_formulas6detail17typecheck_builder5applyERNS0_15regular_formulaERKNS_15action_formulas14action_formulaE	230

Generated by: LCOV version 1.14