LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - parse_impl.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 248 259 95.8 % Date: 2024-04-26 03:18:02 Functions: 48 48 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZNK5mcrl24data6detail26data_specification_actions14parse_ConsSpecERKNS_4core10parse_nodeE	27
_ZNK5mcrl24data6detail23data_expression_actions20make_function_updateERKNS0_15data_expressionES5_S5_	29
_ZNK5mcrl24data6detail23data_expression_actions37make_untyped_set_or_bag_comprehensionERKNS0_8variableERKNS0_15data_expressionE	29
_ZNK5mcrl24data6detail23data_expression_actions13parse_VarDeclERKNS_4core10parse_nodeE	31
_ZNK5mcrl24data6detail23data_expression_actions21make_list_enumerationERKN7atermpp9term_listINS0_15data_expressionEEE	116
_ZNK5mcrl24data6detail23sort_expression_actions14parse_ProjDeclERKNS_4core10parse_nodeE	165
_ZZNK5mcrl24data6detail23sort_expression_actions18parse_ProjDeclListERKNS_4core10parse_nodeEENKUlS6_E_clES6_	165
_ZNK5mcrl24data6detail23data_expression_actions20make_set_enumerationERKN7atermpp9term_listINS0_15data_expressionEEE	174
_ZNK5mcrl24data6detail26data_specification_actions13parse_EqnSpecERKNS_4core10parse_nodeE	180
_ZNK5mcrl24data6detail26data_specification_actions17parse_EqnDeclListERKNS_4core10parse_nodeERKN7atermpp9term_listINS0_8variableEEE	180
_ZNK5mcrl24data6detail23data_expression_actions20make_bag_enumerationERKN7atermpp9term_listINS0_15data_expressionEEE	188
_ZNK5mcrl24data6detail23data_expression_actions20parse_BagEnumEltListERKNS_4core10parse_nodeE	188
_ZNK5mcrl24data6detail26data_specification_actions13parse_MapSpecERKNS_4core10parse_nodeE	259
_ZNK5mcrl24data6detail26data_specification_actions17parse_IdsDeclListERKNS_4core10parse_nodeE	286
_ZNK5mcrl24data6detail26data_specification_actions13parse_VarSpecERKNS_4core10parse_nodeE	329
_ZNK5mcrl24data6detail26data_specification_actions14parse_SortSpecERKNS_4core10parse_nodeE	396
_ZNK5mcrl24data6detail26data_specification_actions18parse_SortDeclListERKNS_4core10parse_nodeE	396
_ZNK5mcrl24data6detail23sort_expression_actions20parse_ConstrDeclListERKNS_4core10parse_nodeE	439
_ZNK5mcrl24data6detail23data_expression_actions20parse_AssignmentListERKNS_4core10parse_nodeE	484
_ZNK5mcrl24data6detail26data_specification_actions17parse_GlobVarSpecERKNS_4core10parse_nodeE	524
_ZNK5mcrl24data6detail26data_specification_actions14parse_DataSpecERKNS_4core10parse_nodeE	644
_ZNK5mcrl24data6detail23data_expression_actions17parse_DataValExprERKNS_4core10parse_nodeE	723
_ZNK5mcrl24data6detail26data_specification_actions16callback_EqnDeclERKNS_4core10parse_nodeERKN7atermpp9term_listINS0_8variableEEERSt6vectorINS0_13data_equationESaISE_EE	728
_ZZNK5mcrl24data6detail26data_specification_actions17parse_EqnDeclListERKNS_4core10parse_nodeERKN7atermpp9term_listINS0_8variableEEEENKUlS6_E_clES6_	728
_ZNK5mcrl24data6detail23sort_expression_actions17parse_SortProductERKNS_4core10parse_nodeE	754
_ZNK5mcrl24data6detail23sort_expression_actions16parse_ConstrDeclERKNS_4core10parse_nodeE	847
_ZNK5mcrl24data6detail23sort_expression_actions18parse_ProjDeclListERKNS_4core10parse_nodeE	847
_ZZNK5mcrl24data6detail23sort_expression_actions20parse_ConstrDeclListERKNS_4core10parse_nodeEENKUlS6_E_clES6_	847
_ZNK5mcrl24data6detail23data_expression_actions16parse_AssignmentERKNS_4core10parse_nodeE	1020
_ZZNK5mcrl24data6detail23data_expression_actions20parse_AssignmentListERKNS_4core10parse_nodeEENKUlS6_E_clES6_	1020
_ZNK5mcrl24data6detail26data_specification_actions17callback_SortDeclERKNS_4core10parse_nodeERSt6vectorIN7atermpp9term_applINS8_5atermEEESaISB_EE	1034
_ZZNK5mcrl24data6detail26data_specification_actions18parse_SortDeclListERKNS_4core10parse_nodeEENKUlS6_E_clES6_	1034
_ZNK5mcrl24data6detail23data_expression_actions18parse_DataExprUnitERKNS_4core10parse_nodeE	1149
_ZNK5mcrl24data6detail23sort_expression_actions29parse_SortExpr_as_SortProductERKNS_4core10parse_nodeE	1316
_ZZNK5mcrl24data6detail26data_specification_actions14parse_DataSpecERKNS_4core10parse_nodeEENKUlS6_E_clES6_	1554
_ZNK5mcrl24data6detail26data_specification_actions24callback_DataSpecElementERKNS_4core10parse_nodeERNS0_26untyped_data_specificationE	2061
_ZN5mcrl24data6detail26data_specification_actionsC2ERKNS_4core6parserE	2156
_ZNK5mcrl24data6detail26data_specification_actions16callback_IdsDeclERKNS_4core10parse_nodeERSt6vectorINS0_15function_symbolESaIS8_EE	2445
_ZZNK5mcrl24data6detail26data_specification_actions17parse_IdsDeclListERKNS_4core10parse_nodeEENKUlS6_E_clES6_	2445
_ZN5mcrl24data6detail23data_expression_actionsC2ERKNS_4core6parserE	3149
_ZN5mcrl24data6detail23sort_expression_actionsC2ERKNS_4core6parserE	3149
_ZNK5mcrl24data6detail23data_expression_actions18parse_VarsDeclListERKNS_4core10parse_nodeE	6253
_ZNK5mcrl24data6detail23data_expression_actions18parse_DataExprListERKNS_4core10parse_nodeE	8957
_ZZNK5mcrl24data6detail23data_expression_actions18parse_DataExprListERKNS_4core10parse_nodeEENKUlS6_E_clES6_	9513
_ZNK5mcrl24data6detail23sort_expression_actions14parse_SortExprERKNS_4core10parse_nodeEPN7atermpp9term_listINS0_15sort_expressionEEE	13006
_ZNK5mcrl24data6detail23data_expression_actions14parse_DataExprERKNS_4core10parse_nodeE	25277
_ZNK5mcrl24data6detail23data_expression_actions17callback_VarsDeclERKNS_4core10parse_nodeERSt6vectorINS0_8variableESaIS8_EE	40135
_ZZNK5mcrl24data6detail23data_expression_actions18parse_VarsDeclListERKNS_4core10parse_nodeEENKUlS6_E_clES6_	40135

Generated by: LCOV version 1.14