LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - function_update.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 100 115 87.0 % Date: 2024-05-04 03:44:52 Functions: 26 30 86.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data29is_if_always_else_applicationERKN7atermpp9term_applINS1_5atermEEE	0
_ZN5mcrl24data33is_if_always_else_function_symbolERKN7atermpp9term_applINS1_5atermEEE	0
_ZN5mcrl24data39is_is_not_a_function_update_applicationERKN7atermpp9term_applINS1_5atermEEE	0
_ZN5mcrl24data43is_is_not_a_function_update_function_symbolERKN7atermpp9term_applINS1_5atermEEE	0
_ZN5mcrl24data4arg1ERKNS0_15data_expressionE	92
_ZN5mcrl24data4arg2ERKNS0_15data_expressionE	92
_ZN5mcrl24data4arg3ERKNS0_15data_expressionE	92
_ZN5mcrl24data26if_always_else_applicationERKNS0_15data_expressionE	156
_ZN5mcrl24data36is_not_a_function_update_applicationERKNS0_15data_expressionE	164
_ZN5mcrl24data37function_update_mCRL2_usable_mappingsERKNS0_15sort_expressionES3_	4578
_ZN5mcrl24data24is_not_a_function_updateERKNS0_15sort_expressionES3_RKNS0_15data_expressionE	6992
_ZN5mcrl24data39function_update_generate_equations_codeERKNS0_15sort_expressionES3_	6992
_ZN5mcrl24data39function_update_generate_functions_codeERKNS0_15sort_expressionES3_	6992
_ZN5mcrl24data42function_update_cpp_implementable_mappingsB5cxx11ERKNS0_15sort_expressionES3_	6992
_ZN5mcrl24data46function_update_cpp_implementable_constructorsB5cxx11Ev	6992
_ZN5mcrl24data14if_always_elseERKNS0_15sort_expressionES3_RKNS0_15data_expressionES6_S6_	20976
_ZN5mcrl24data37is_function_update_stable_applicationERKN7atermpp9term_applINS1_5atermEEE	24932
_ZN5mcrl24data41is_function_update_stable_function_symbolERKN7atermpp9term_applINS1_5atermEEE	24932
_ZN5mcrl24data30is_function_update_applicationERKN7atermpp9term_applINS1_5atermEEE	25036
_ZN5mcrl24data34is_function_update_function_symbolERKN7atermpp9term_applINS1_5atermEEE	25036
_ZN5mcrl24data24is_not_a_function_updateERKNS0_15sort_expressionES3_	25554
_ZN5mcrl24data29is_not_a_function_update_nameEv	25554
_ZN5mcrl24data14if_always_elseERKNS0_15sort_expressionES3_	39538
_ZN5mcrl24data19if_always_else_nameEv	39538
_ZN5mcrl24data15function_updateERKNS0_15sort_expressionES3_RKNS0_15data_expressionES6_S6_	48944
_ZN5mcrl24data15function_updateERKNS0_15sort_expressionES3_	60662
_ZN5mcrl24data22function_update_stableERKNS0_15sort_expressionES3_RKNS0_15data_expressionES6_S6_	76912
_ZN5mcrl24data22function_update_stableERKNS0_15sort_expressionES3_	88646
_ZN5mcrl24data27function_update_stable_nameEv	112344
_ZN5mcrl24data20function_update_nameEv	136166

Generated by: LCOV version 1.14