LCOV - mcrl2_coverage.info.cleaned - data/include/mcrl2/data/consistency.h

LCOV - code coverage report

Current view:	top level - data/include/mcrl2/data - consistency.h (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	22	32	68.8 %
Date:	2024-05-04 03:44:52	Functions:	11	16	68.8 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl24data11is_equal_toERKNS0_15data_expressionE	0
_ZN5mcrl24data15is_not_equal_toERKNS0_15data_expressionE	0
_ZN5mcrl24data3impERKNS0_15data_expressionES3_	0
_ZN5mcrl24data3or_ERKNS0_15data_expressionES3_	0
_ZN5mcrl24data7is_boolERKNS0_15sort_expressionE	0
_ZN5mcrl24data4and_ERKNS0_15data_expressionES3_	5
_ZN5mcrl24data5is_orERKNS0_15data_expressionE	5
_ZN5mcrl24data6is_impERKNS0_15data_expressionE	5
_ZN5mcrl24data6false_Ev	6
_ZN5mcrl24data6is_andERKNS0_15data_expressionE	7
_ZN5mcrl24data6is_notERKNS0_15data_expressionE	15
_ZN5mcrl24data7is_trueERKNS0_15data_expressionE	20
_ZN5mcrl24data5true_Ev	101
_ZN5mcrl24data4not_ERKNS0_15data_expressionE	736
_ZN5mcrl24data5bool_Ev	3114
_ZN5mcrl24data8is_falseERKNS0_15data_expressionE	16381