LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - set.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 331 358 92.5 % Date: 2024-05-04 03:44:52 Functions: 81 89 91.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data8sort_set26is_or_function_applicationERKN7atermpp9term_applINS2_5atermEEE	0
_ZN5mcrl24data8sort_set27is_and_function_applicationERKN7atermpp9term_applINS2_5atermEEE	0
_ZN5mcrl24data8sort_set27is_not_function_applicationERKN7atermpp9term_applINS2_5atermEEE	0
_ZN5mcrl24data8sort_set28is_true_function_applicationERKN7atermpp9term_applINS2_5atermEEE	0
_ZN5mcrl24data8sort_set29is_false_function_applicationERKN7atermpp9term_applINS2_5atermEEE	0
_ZN5mcrl24data8sort_set30is_or_function_function_symbolERKN7atermpp9term_applINS2_5atermEEE	0
_ZN5mcrl24data8sort_set31is_and_function_function_symbolERKN7atermpp9term_applINS2_5atermEEE	0
_ZN5mcrl24data8sort_set31is_not_function_function_symbolERKN7atermpp9term_applINS2_5atermEEE	0
_ZN5mcrl24data8sort_set4arg2ERKNS0_15data_expressionE	30
_ZN5mcrl24data8sort_set4arg3ERKNS0_15data_expressionE	30
_ZN5mcrl24data8sort_set4arg4ERKNS0_15data_expressionE	30
_ZN5mcrl24data8sort_set3argERKNS0_15data_expressionE	76
_ZN5mcrl24data8sort_set4arg1ERKNS0_15data_expressionE	110
_ZN5mcrl24data8sort_set32is_true_function_function_symbolERKN7atermpp9term_applINS2_5atermEEE	140
_ZN5mcrl24data8sort_set5rightERKNS0_15data_expressionE	142
_ZN5mcrl24data8sort_set33is_false_function_function_symbolERKN7atermpp9term_applINS2_5atermEEE	145
_ZN5mcrl24data8sort_set13true_functionERKNS0_15sort_expressionERKNS0_15data_expressionE	283
_ZN5mcrl24data8sort_set14false_functionERKNS0_15sort_expressionERKNS0_15data_expressionE	283
_ZN5mcrl24data8sort_set27set_generate_equations_codeERKNS0_15sort_expressionE	283
_ZN5mcrl24data8sort_set27set_generate_functions_codeERKNS0_15sort_expressionE	283
_ZN5mcrl24data8sort_set30set_cpp_implementable_mappingsB5cxx11ERKNS0_15sort_expressionE	283
_ZN5mcrl24data8sort_set30set_generate_constructors_codeERKNS0_15sort_expressionE	283
_ZN5mcrl24data8sort_set34set_cpp_implementable_constructorsB5cxx11ERKNS0_15sort_expressionE	283
_ZN5mcrl24data8sort_set17set_comprehensionERKNS0_15sort_expressionERKNS0_15data_expressionE	284
_ZN5mcrl24data8sort_set10differenceERKNS0_15sort_expressionERKNS0_15data_expressionES7_	287
_ZN5mcrl24data8sort_set8set_fsetERKNS0_15sort_expressionERKNS0_15data_expressionE	352
_ZN5mcrl24data8sort_set4leftERKNS0_15data_expressionE	359
_ZN5mcrl24data8sort_set17set_comprehensionERKNS0_15sort_expressionE	567
_ZN5mcrl24data8sort_set10complementERKNS0_15sort_expressionERKNS0_15data_expressionE	570
_ZN5mcrl24data8sort_set8set_fsetERKNS0_15sort_expressionE	635
_ZN5mcrl24data8sort_set12not_functionERKNS0_15sort_expressionERKNS0_15data_expressionE	1132
_ZN5mcrl24data8sort_set2inERKNS0_15sort_expressionERKNS0_15data_expressionES7_	1259
_ZN5mcrl24data8sort_set12not_functionERKNS0_15sort_expressionE	1415
_ZN5mcrl24data8sort_set17not_function_nameEv	1415
_ZN5mcrl24data8sort_set11or_functionERKNS0_15sort_expressionERKNS0_15data_expressionES7_	1981
_ZN5mcrl24data8sort_set12and_functionERKNS0_15sort_expressionERKNS0_15data_expressionES7_	1981
_ZN5mcrl24data8sort_set11or_functionERKNS0_15sort_expressionE	2264
_ZN5mcrl24data8sort_set12and_functionERKNS0_15sort_expressionE	2264
_ZN5mcrl24data8sort_set16or_function_nameEv	2264
_ZN5mcrl24data8sort_set17and_function_nameEv	2264
_ZN5mcrl24data8sort_set10fset_unionERKNS0_15sort_expressionERKNS0_15data_expressionES7_S7_S7_	3399
_ZN5mcrl24data8sort_set17fset_intersectionERKNS0_15sort_expressionERKNS0_15data_expressionES7_S7_S7_	3399
_ZN5mcrl24data8sort_set13true_functionERKNS0_15sort_expressionE	3538
_ZN5mcrl24data8sort_set18true_function_nameEv	3566
_ZN5mcrl24data8sort_set10fset_unionERKNS0_15sort_expressionE	3682
_ZN5mcrl24data8sort_set17fset_intersectionERKNS0_15sort_expressionE	3682
_ZN5mcrl24data8sort_set11constructorERKNS0_15sort_expressionERKNS0_15data_expressionES7_	3933
_ZN5mcrl24data8sort_set6union_ERKNS0_15sort_expressionERKNS0_15data_expressionES7_	3965
_ZN5mcrl24data8sort_set12intersectionERKNS0_15sort_expressionERKNS0_15data_expressionES7_	4533
_ZN5mcrl24data8sort_set10complementERKNS0_15sort_expressionE	5502
_ZN5mcrl24data8sort_set22set_comprehension_nameEv	7371
_ZN5mcrl24data8sort_set13set_fset_nameEv	7587
_ZN5mcrl24data8sort_set32is_fset_intersection_applicationERKN7atermpp9term_applINS2_5atermEEE	7601
_ZN5mcrl24data8sort_set36is_fset_intersection_function_symbolERKN7atermpp9term_applINS2_5atermEEE	7601
_ZN5mcrl24data8sort_set17is_in_applicationERKN7atermpp9term_applINS2_5atermEEE	7644
_ZN5mcrl24data8sort_set21is_in_function_symbolERKN7atermpp9term_applINS2_5atermEEE	7644
_ZN5mcrl24data8sort_set25is_complement_applicationERKN7atermpp9term_applINS2_5atermEEE	7644
_ZN5mcrl24data8sort_set29is_complement_function_symbolERKN7atermpp9term_applINS2_5atermEEE	7644
_ZN5mcrl24data8sort_set32is_set_comprehension_applicationERKN7atermpp9term_applINS2_5atermEEE	7646
_ZN5mcrl24data8sort_set36is_set_comprehension_function_symbolERKN7atermpp9term_applINS2_5atermEEE	7646
_ZN5mcrl24data8sort_set25is_fset_union_applicationERKN7atermpp9term_applINS2_5atermEEE	7716
_ZN5mcrl24data8sort_set29is_fset_union_function_symbolERKN7atermpp9term_applINS2_5atermEEE	7716
_ZN5mcrl24data8sort_set23is_set_fset_applicationERKN7atermpp9term_applINS2_5atermEEE	7794
_ZN5mcrl24data8sort_set27is_set_fset_function_symbolERKN7atermpp9term_applINS2_5atermEEE	7794
_ZN5mcrl24data8sort_set26is_constructor_applicationERKN7atermpp9term_applINS2_5atermEEE	8306
_ZN5mcrl24data8sort_set30is_constructor_function_symbolERKN7atermpp9term_applINS2_5atermEEE	8306
_ZN5mcrl24data8sort_set14false_functionERKNS0_15sort_expressionE	8580
_ZN5mcrl24data8sort_set11constructorERKNS0_15sort_expressionE	8865
_ZN5mcrl24data8sort_set10differenceERKNS0_15sort_expressionES4_S4_	9868
_ZN5mcrl24data8sort_set22fset_intersection_nameEv	10441
_ZN5mcrl24data8sort_set15fset_union_nameEv	10556
_ZN5mcrl24data8sort_set2inERKNS0_15sort_expressionES4_S4_	10840
_ZN5mcrl24data8sort_set6union_ERKNS0_15sort_expressionES4_S4_	13546
_ZN5mcrl24data8sort_set12intersectionERKNS0_15sort_expressionES4_S4_	14116
_ZN5mcrl24data8sort_set7in_nameEv	17642
_ZN5mcrl24data8sort_set27is_intersection_applicationERKN7atermpp9term_applINS2_5atermEEE	25201
_ZN5mcrl24data8sort_set31is_intersection_function_symbolERKN7atermpp9term_applINS2_5atermEEE	25201
_ZN5mcrl24data8sort_set25is_difference_applicationERKN7atermpp9term_applINS2_5atermEEE	26122
_ZN5mcrl24data8sort_set29is_difference_function_symbolERKN7atermpp9term_applINS2_5atermEEE	26122
_ZN5mcrl24data8sort_set20is_union_applicationERKN7atermpp9term_applINS2_5atermEEE	26267
_ZN5mcrl24data8sort_set24is_union_function_symbolERKN7atermpp9term_applINS2_5atermEEE	26267
_ZN5mcrl24data8sort_set6is_setERKNS0_15sort_expressionE	38210
_ZN5mcrl24data8sort_set19false_function_nameEv	60242
_ZN5mcrl24data8sort_set15complement_nameEv	64007
_ZN5mcrl24data8sort_set16constructor_nameEv	67974
_ZN5mcrl24data8sort_set17intersection_nameEv	82598
_ZN5mcrl24data8sort_set15difference_nameEv	82980
_ZN5mcrl24data8sort_set10union_nameEv	97593
_ZN5mcrl24data8sort_set4set_ERKNS0_15sort_expressionE	165009

Generated by: LCOV version 1.14