LCOV - code coverage report
Current view:
top level
-
data/include/mcrl2/data
- optimized_boolean_operators.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
105
109
96.3 %
Date:
2024-05-04 03:44:52
Functions:
28
30
93.3 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24data13optimized_impINS0_15data_expressionEEEvRT_RKS3_S6_
0
_ZN5mcrl24data6detail13optimized_impINS_4core11term_traitsINS0_15data_expressionEEEEEvRNT_9term_typeERKS8_SB_S7_
0
_ZN5mcrl24data16optimized_forallINS0_15data_expressionEN7atermpp9term_listINS0_8variableEEEEEvRT_RKT0_RKS7_b
13
_ZN5mcrl24data6detail16optimized_forallINS_4core11term_traitsINS0_15data_expressionEEEEEvRNT_9term_typeERKNS7_22variable_sequence_typeERKS8_bbS7_
13
_ZN5mcrl24data16optimized_existsINS0_15data_expressionEN7atermpp9term_listINS0_8variableEEEEEvRT_RKT0_RKS7_b
18
_ZN5mcrl24data6detail16optimized_existsINS_4core11term_traitsINS0_15data_expressionEEEEEvRNT_9term_typeERKNS7_22variable_sequence_typeERKS8_bbS7_
18
_ZN5mcrl24data13optimized_notINS0_15data_expressionEEEvRT_RKS3_
22
_ZN5mcrl24data6detail13optimized_notINS_4core11term_traitsINS0_15data_expressionEEEEEvRNT_9term_typeERKS8_S7_
22
_ZN5mcrl24data12optimized_orINS0_15data_expressionEEEvRT_RKS3_S6_
30
_ZN5mcrl24data6detail12optimized_orINS_4core11term_traitsINS0_15data_expressionEEEEEvRNT_9term_typeERKS8_SB_S7_
30
_ZN5mcrl24data13optimized_andINS_11pres_system15pres_expressionEEEvRT_RKS4_S7_
41
_ZN5mcrl24data6detail13optimized_andINS_4core11term_traitsINS_11pres_system15pres_expressionEEEEEvRNT_9term_typeERKS9_SC_S8_
41
_ZN5mcrl24data12optimized_orINS_11pres_system15pres_expressionEEEvRT_RKS4_S7_
59
_ZN5mcrl24data6detail12optimized_orINS_4core11term_traitsINS_11pres_system15pres_expressionEEEEEvRNT_9term_typeERKS9_SC_S8_
59
_ZN5mcrl24data16optimized_forallINS_11pbes_system15pbes_expressionEN7atermpp9term_listINS0_8variableEEEEEvRT_RKT0_RKS8_b
87
_ZN5mcrl24data16optimized_existsINS_11pbes_system15pbes_expressionEN7atermpp9term_listINS0_8variableEEEEEvRT_RKT0_RKS8_b
284
_ZN5mcrl24data13optimized_notINS_11pbes_system15pbes_expressionEEEvRT_RKS4_
492
_ZN5mcrl24data6detail13optimized_notINS_4core11term_traitsINS_11pbes_system15pbes_expressionEEEEEvRNT_9term_typeERKS9_S8_
546
_ZN5mcrl24data32optimized_exists_no_empty_domainINS_11pbes_system15pbes_expressionEN7atermpp9term_listINS0_8variableEEEEEvRT_RKT0_RKS8_b
566
_ZN5mcrl24data13optimized_andINS0_15data_expressionEEEvRT_RKS3_S6_
746
_ZN5mcrl24data6detail13optimized_andINS_4core11term_traitsINS0_15data_expressionEEEEEvRNT_9term_typeERKS8_SB_S7_
746
_ZN5mcrl24data6detail16optimized_existsINS_4core11term_traitsINS_11pbes_system15pbes_expressionEEEEEvRNT_9term_typeERKNS8_22variable_sequence_typeERKS9_bbS8_
850
_ZN5mcrl24data13optimized_impINS_11pbes_system15pbes_expressionEEEvRT_RKS4_S7_
972
_ZN5mcrl24data6detail13optimized_impINS_4core11term_traitsINS_11pbes_system15pbes_expressionEEEEEvRNT_9term_typeERKS9_SC_S8_
972
_ZN5mcrl24data32optimized_forall_no_empty_domainINS_11pbes_system15pbes_expressionEN7atermpp9term_listINS0_8variableEEEEEvRT_RKT0_RKS8_b
2121
_ZN5mcrl24data6detail16optimized_forallINS_4core11term_traitsINS_11pbes_system15pbes_expressionEEEEEvRNT_9term_typeERKNS8_22variable_sequence_typeERKS9_bbS8_
2208
_ZN5mcrl24data12optimized_orINS_11pbes_system15pbes_expressionEEEvRT_RKS4_S7_
4521
_ZN5mcrl24data6detail12optimized_orINS_4core11term_traitsINS_11pbes_system15pbes_expressionEEEEEvRNT_9term_typeERKS9_SC_S8_
4521
_ZN5mcrl24data13optimized_andINS_11pbes_system15pbes_expressionEEEvRT_RKS4_S7_
9051
_ZN5mcrl24data6detail13optimized_andINS_4core11term_traitsINS_11pbes_system15pbes_expressionEEEEEvRNT_9term_typeERKS9_SC_S8_
9051
Generated by:
LCOV version 1.14