LCOV - code coverage report

Current view: top level - process/include/mcrl2/process - process_equation.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 19 19 100.0 % Date: 2024-05-01 03:37:31 Functions: 11 12 91.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl27process21make_process_equationIJNS0_18process_identifierEN7atermpp9term_listINS_4data8variableEEEZNS0_23add_process_expressionsINS_4core7builderENS0_6detail24balance_summands_builderEE5applyINS0_16process_equationEEEvRT_RKSF_EUlRNS0_18process_expressionEE_EEEvRNS3_9term_applINS3_5atermEEEDpRKT_	0
_ZN5mcrl27process21make_process_equationIJNS0_18process_identifierEN7atermpp9term_listINS_4data8variableEEEZNS0_20add_data_expressionsINS5_23data_expression_builderENS_4core20update_apply_builderINS0_23data_expression_builderENS5_6detail32translate_user_notation_functionEEEE5applyINS0_16process_equationEEEvRT_RKSI_EUlRNS0_18process_expressionEE_EEEvRNS3_9term_applINS3_5atermEEEDpRKT_	1140
_ZN5mcrl27process21make_process_equationIJZNS0_20add_sort_expressionsINS_4data23sort_expression_builderENS_4core20update_apply_builderINS0_23sort_expression_builderENS3_6detail24normalize_sorts_functionEEEE5applyINS0_16process_equationEEEvRT_RKSD_EUlRNS0_18process_identifierEE_ZNSC_ISD_EEvSF_SH_EUlRN7atermpp9term_listINS3_8variableEEEE0_ZNSC_ISD_EEvSF_SH_EUlRNS0_18process_expressionEE1_EEEvRNSL_9term_applINSL_5atermEEEDpRKT_	1145
_ZN5mcrl27process16process_equationaSEOS1_	1146
_ZN5mcrl27process16process_equationC2EOS1_	1575
_ZN5mcrl27process16process_equationC2ERKNS0_18process_identifierERKN7atermpp9term_listINS_4data8variableEEERKNS0_18process_expressionE	2293
_ZN5mcrl27process16process_equationC2Ev	2459
_ZN5mcrl27process16process_equationaSERKS1_	2461
_ZN5mcrl27process16process_equationC2ERKS1_	4264
_ZNK5mcrl27process16process_equation10expressionEv	6499
_ZNK5mcrl27process16process_equation17formal_parametersEv	7474
_ZNK5mcrl27process16process_equation10identifierEv	11100

Generated by: LCOV version 1.14