LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - pos.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 225 241 93.4 % Date: 2024-05-04 03:44:52 Functions: 53 57 93.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data8sort_pos22is_maximum_applicationERKN7atermpp9term_applINS2_5atermEEE	0
_ZN5mcrl24data8sort_pos22is_minimum_applicationERKN7atermpp9term_applINS2_5atermEEE	0
_ZN5mcrl24data8sort_pos26is_maximum_function_symbolERKN7atermpp9term_applINS2_5atermEEE	0
_ZN5mcrl24data8sort_pos26is_minimum_function_symbolERKN7atermpp9term_applINS2_5atermEEE	0
_ZN5mcrl24data8sort_pos10times_nameEv	113
_ZN5mcrl24data8sort_pos12maximum_nameEv	113
_ZN5mcrl24data8sort_pos12minimum_nameEv	113
_ZN5mcrl24data8sort_pos18powerlog2_pos_nameEv	113
_ZN5mcrl24data8sort_pos19add_with_carry_nameEv	113
_ZN5mcrl24data8sort_pos20pos_predecessor_nameEv	113
_ZN5mcrl24data8sort_pos9plus_nameEv	113
_ZN5mcrl24data8sort_pos9succ_nameEv	113
_ZN5mcrl24data8sort_pos9cdub_nameEv	114
_ZN5mcrl24data8sort_pos7c1_nameEv	115
_ZN5mcrl24data8sort_pos4arg1ERKNS0_15data_expressionE	116
_ZN5mcrl24data8sort_pos4arg2ERKNS0_15data_expressionE	116
_ZN5mcrl24data8sort_pos4arg3ERKNS0_15data_expressionE	116
_ZN5mcrl24data8sort_pos8pos_nameEv	118
_ZN5mcrl24data8sort_pos25pos_mCRL2_usable_mappingsEv	4578
_ZN5mcrl24data8sort_pos29pos_mCRL2_usable_constructorsEv	4578
_ZN5mcrl24data8sort_pos5rightERKNS0_15data_expressionE	9697
_ZN5mcrl24data8sort_pos4leftERKNS0_15data_expressionE	9916
_ZN5mcrl24data8sort_pos27pos_generate_equations_codeEv	10484
_ZN5mcrl24data8sort_pos27pos_generate_functions_codeEv	10484
_ZN5mcrl24data8sort_pos30pos_cpp_implementable_mappingsB5cxx11Ev	10484
_ZN5mcrl24data8sort_pos30pos_generate_constructors_codeEv	10484
_ZN5mcrl24data8sort_pos34pos_cpp_implementable_constructorsB5cxx11Ev	10484
_ZN5mcrl24data8sort_pos7maximumERKNS0_15data_expressionES4_	10486
_ZN5mcrl24data8sort_pos7minimumERKNS0_15data_expressionES4_	10486
_ZN5mcrl24data8sort_pos4plusERKNS0_15data_expressionES4_	10512
_ZN5mcrl24data8sort_pos7maximumEv	25548
_ZN5mcrl24data8sort_pos7minimumEv	25548
_ZN5mcrl24data8sort_pos20is_times_applicationERKN7atermpp9term_applINS2_5atermEEE	26079
_ZN5mcrl24data8sort_pos24is_times_function_symbolERKN7atermpp9term_applINS2_5atermEEE	26079
_ZN5mcrl24data8sort_pos29is_add_with_carry_applicationERKN7atermpp9term_applINS2_5atermEEE	26543
_ZN5mcrl24data8sort_pos33is_add_with_carry_function_symbolERKN7atermpp9term_applINS2_5atermEEE	26543
_ZN5mcrl24data8sort_pos23is_plus_function_symbolERKN7atermpp9term_applINS2_5atermEEE	44568
_ZN5mcrl24data8sort_pos19is_plus_applicationERKN7atermpp9term_applINS2_5atermEEE	44972
_ZN5mcrl24data8sort_pos13powerlog2_posERKNS0_15data_expressionE	48232
_ZN5mcrl24data8sort_pos23is_cdub_function_symbolERKN7atermpp9term_applINS2_5atermEEE	60447
_ZN5mcrl24data8sort_pos21is_c1_function_symbolERKN7atermpp9term_applINS2_5atermEEE	62903
_ZN5mcrl24data8sort_pos13powerlog2_posEv	63294
_ZN5mcrl24data8sort_pos19is_cdub_applicationERKN7atermpp9term_applINS2_5atermEEE	64797
_ZN5mcrl24data8sort_pos4plusEv	68908
_ZN5mcrl24data8sort_pos5timesERKNS0_15data_expressionES4_	83874
_ZN5mcrl24data8sort_pos15pos_predecessorERKNS0_15data_expressionE	94356
_ZN5mcrl24data8sort_pos15pos_predecessorEv	109418
_ZN5mcrl24data8sort_pos5timesEv	124173
_ZN5mcrl24data8sort_pos14add_with_carryERKNS0_15data_expressionES4_S4_	160879
_ZN5mcrl24data8sort_pos14add_with_carryEv	201642
_ZN5mcrl24data8sort_pos6is_posERKNS0_15sort_expressionE	206695
_ZN5mcrl24data8sort_pos4succERKNS0_15data_expressionE	209683
_ZN5mcrl24data8sort_pos4succEv	224745
_ZN5mcrl24data8sort_pos2c1Ev	555992
_ZN5mcrl24data8sort_pos4cdubERKNS0_15data_expressionES4_	780719
_ZN5mcrl24data8sort_pos4cdubEv	855386
_ZN5mcrl24data8sort_pos3posEv	1612267

Generated by: LCOV version 1.14