LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - standard.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 123 124 99.2 % Date: 2024-04-26 03:18:02 Functions: 73 73 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data21is_if_function_symbolINS0_15function_symbolEEEbRKT_	6
_ZN5mcrl24data28is_greater_equal_applicationINS0_15data_expressionEEEbRKT_	18
_ZN5mcrl24data6detail6symbolINS1_20greater_equal_symbolEE14is_applicationERKNS0_15data_expressionE	18
_ZN5mcrl24data27is_not_equal_to_applicationINS0_15data_expressionEEEbRKT_	19
_ZN5mcrl24data6detail6symbolINS1_16not_equal_symbolEE14is_applicationERKNS0_15data_expressionE	19
_ZN5mcrl24data22is_greater_applicationINS0_15data_expressionEEEbRKT_	21
_ZN5mcrl24data6detail6symbolINS1_14greater_symbolEE14is_applicationERKNS0_15data_expressionE	21
_ZN5mcrl24data17is_if_applicationINS0_15data_expressionEEEbRKT_	38
_ZN5mcrl24data6detail6symbolINS1_9if_symbolEE14is_applicationERKNS0_15data_expressionE	38
_ZN5mcrl24data25is_less_equal_applicationINS0_15data_expressionEEEbRKT_	42
_ZN5mcrl24data6detail6symbolINS1_17less_equal_symbolEE14is_applicationERKNS0_15data_expressionE	42
_ZN5mcrl24data19is_less_applicationINS0_15data_expressionEEEbRKT_	59
_ZN5mcrl24data6detail6symbolINS1_11less_symbolEE14is_applicationERKNS0_15data_expressionE	59
_ZN5mcrl24data6detail11less_symbol10initialiseEv	113
_ZN5mcrl24data6detail14greater_symbol10initialiseEv	113
_ZN5mcrl24data6detail17less_equal_symbol10initialiseEv	113
_ZN5mcrl24data6detail20greater_equal_symbol10initialiseEv	113
_ZN5mcrl24data6detail9if_symbol10initialiseEv	113
_ZN5mcrl24data6detail12equal_symbol10initialiseEv	114
_ZN5mcrl24data6detail16not_equal_symbol10initialiseEv	114
_ZN5mcrl24data23is_equal_to_applicationINS0_15data_expressionEEEbRKT_	1772
_ZN5mcrl24data6detail6symbolINS1_12equal_symbolEE14is_applicationERKNS0_15data_expressionE	1772
_ZN5mcrl24data6detail6symbolINS1_9if_symbolEE18is_function_symbolERKNS0_15function_symbolE	38842
_ZN5mcrl24data17is_if_applicationINS0_11applicationEEEbRKT_	39651
_ZN5mcrl24data6detail6symbolINS1_9if_symbolEE14is_applicationERKNS0_11applicationE	39678
_ZN5mcrl24data6detail6symbolINS1_9if_symbolEE18is_function_symbolERKNS0_15data_expressionE	39678
_ZN5mcrl24data6detail6symbolINS1_20greater_equal_symbolEE18is_function_symbolERKNS0_15function_symbolE	51260
_ZN5mcrl24data6detail6symbolINS1_14greater_symbolEE18is_function_symbolERKNS0_15function_symbolE	51394
_ZN5mcrl24data6detail6symbolINS1_17less_equal_symbolEE18is_function_symbolERKNS0_15function_symbolE	51877
_ZN5mcrl24data28is_greater_equal_applicationINS0_11applicationEEEbRKT_	52487
_ZN5mcrl24data6detail6symbolINS1_20greater_equal_symbolEE14is_applicationERKNS0_11applicationE	52494
_ZN5mcrl24data6detail6symbolINS1_20greater_equal_symbolEE18is_function_symbolERKNS0_15data_expressionE	52494
_ZN5mcrl24data22is_greater_applicationINS0_11applicationEEEbRKT_	52618
_ZN5mcrl24data6detail6symbolINS1_14greater_symbolEE14is_applicationERKNS0_11applicationE	52628
_ZN5mcrl24data6detail6symbolINS1_14greater_symbolEE18is_function_symbolERKNS0_15data_expressionE	52628
_ZN5mcrl24data25is_less_equal_applicationINS0_11applicationEEEbRKT_	53080
_ZN5mcrl24data6detail6symbolINS1_17less_equal_symbolEE14is_applicationERKNS0_11applicationE	53111
_ZN5mcrl24data6detail6symbolINS1_17less_equal_symbolEE18is_function_symbolERKNS0_15data_expressionE	53111
_ZN5mcrl24data6detail6symbolINS1_11less_symbolEE18is_function_symbolERKNS0_15function_symbolE	59366
_ZN5mcrl24data19is_less_applicationINS0_11applicationEEEbRKT_	60552
_ZN5mcrl24data6detail6symbolINS1_11less_symbolEE14is_applicationERKNS0_11applicationE	60600
_ZN5mcrl24data6detail6symbolINS1_11less_symbolEE18is_function_symbolERKNS0_15data_expressionE	60600
_ZN5mcrl24data32standard_generate_equations_codeERKNS0_15sort_expressionE	72131
_ZN5mcrl24data13greater_equalERKNS0_15data_expressionES3_	72132
_ZN5mcrl24data32standard_generate_functions_codeERKNS0_15sort_expressionE	72141
_ZN5mcrl24data7greaterERKNS0_15data_expressionES3_	85779
_ZN5mcrl24data6detail6symbolINS1_9if_symbolEE9is_symbolERKN7atermpp12aterm_stringE	97982
_ZN5mcrl24data6detail6symbolINS1_20greater_equal_symbolEE9is_symbolERKN7atermpp12aterm_stringE	101405
_ZN5mcrl24data6detail6symbolINS1_14greater_symbolEE9is_symbolERKN7atermpp12aterm_stringE	102287
_ZN5mcrl24data6detail6symbolINS1_17less_equal_symbolEE9is_symbolERKN7atermpp12aterm_stringE	103292
_ZN5mcrl24data6detail6symbolINS1_16not_equal_symbolEE18is_function_symbolERKNS0_15function_symbolE	103743
_ZN5mcrl24data27is_not_equal_to_applicationINS0_11applicationEEEbRKT_	104966
_ZN5mcrl24data6detail6symbolINS1_16not_equal_symbolEE14is_applicationERKNS0_11applicationE	104977
_ZN5mcrl24data6detail6symbolINS1_16not_equal_symbolEE18is_function_symbolERKNS0_15data_expressionE	104977
_ZN5mcrl24data6detail6symbolINS1_11less_symbolEE9is_symbolERKN7atermpp12aterm_stringE	112865
_ZN5mcrl24data12not_equal_toERKNS0_15data_expressionES3_	118663
_ZN5mcrl24data13greater_equalERKNS0_15sort_expressionE	148922
_ZN5mcrl24data6detail6symbolINS1_16not_equal_symbolEE9is_symbolERKN7atermpp12aterm_stringE	157498
_ZN5mcrl24data7greaterERKNS0_15sort_expressionE	162569
_ZN5mcrl24data6detail6symbolINS1_12equal_symbolEE18is_function_symbolERKNS0_15function_symbolE	166267
_ZN5mcrl24data23is_equal_to_applicationINS0_11applicationEEEbRKT_	166594
_ZN5mcrl24data6detail6symbolINS1_12equal_symbolEE14is_applicationERKNS0_11applicationE	167501
_ZN5mcrl24data6detail6symbolINS1_12equal_symbolEE18is_function_symbolERKNS0_15data_expressionE	167501
_ZN5mcrl24data12not_equal_toERKNS0_15sort_expressionE	195695
_ZN5mcrl24data6detail6symbolINS1_12equal_symbolEE9is_symbolERKN7atermpp12aterm_stringE	225924
_ZN5mcrl24data3if_ERKNS0_15data_expressionES3_S3_	350052
_ZN5mcrl24data3if_ERKNS0_15sort_expressionE	427574
_ZN5mcrl24data4lessERKNS0_15data_expressionES3_	468912
_ZN5mcrl24data10less_equalERKNS0_15data_expressionES3_	483086
_ZN5mcrl24data8equal_toERKNS0_15data_expressionES3_	527583
_ZN5mcrl24data4lessERKNS0_15sort_expressionE	545712
_ZN5mcrl24data10less_equalERKNS0_15sort_expressionE	559876
_ZN5mcrl24data8equal_toERKNS0_15sort_expressionE	604615

Generated by: LCOV version 1.14