LCOV - code coverage report

Current view: top level - data/include/mcrl2/data - expression_traits.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 47 50 94.0 % Date: 2024-05-04 03:44:52 Functions: 17 18 94.4 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE8make_impERS3_RKS3_S7_	0
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE7not_argERKS3_	1
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE11make_forallERS3_RKN7atermpp9term_listINS2_8variableEEERKS3_	5
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE6existsERKN7atermpp9term_listINS2_8variableEEERKS3_	5
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE8make_or_ERS3_RKS3_S7_	7
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE6false_Ev	17
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE3or_ERKS3_S6_	19
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE9make_not_ERS3_RKS3_	20
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE6is_notERKS3_	22
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE4and_ERKS3_S6_	23
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE5is_orERKS3_	23
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE4leftERKS3_	33
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE5rightERKS3_	33
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE5true_Ev	58
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE6is_andERKS3_	86
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE9make_and_ERS3_RKS3_S7_	400
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE8is_falseERKS3_	983
_ZN5mcrl24core11term_traitsINS_4data15data_expressionEE7is_trueERKS3_	1363

Generated by: LCOV version 1.14