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

LCOV - code coverage report

Current view:	top level - data/include/mcrl2/data - selection.h (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	68	70	97.1 %
Date:	2024-05-04 03:44:52	Functions:	10	10	100.0 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl24data27used_data_equation_selector11add_symbolsISt3setINS0_15function_symbolESt4lessIS4_ESaIS4_EEEEvRKT_	1
_ZN5mcrl24data27used_data_equation_selectorC2ISt3setINS0_15function_symbolESt4lessIS4_ESaIS4_EEEERKNS0_18data_specificationERKT_	1
_ZN5mcrl24data27used_data_equation_selectorC2ERKNS0_18data_specificationERKSt3setINS0_15function_symbolESt4lessIS6_ESaIS6_EERKS5_INS0_8variableES7_ISD_ESaISD_EEb	31
_ZN5mcrl24data27used_data_equation_selector30add_data_specification_symbolsERKNS0_18data_specificationE	32
_ZN5mcrl24data27used_data_equation_selector11add_symbolsISt6vectorINS0_15function_symbolESaIS4_EEEEvRKT_	280
_ZN5mcrl24data27used_data_equation_selector10add_symbolERKNS0_15function_symbolE	854
_ZN5mcrl24data27used_data_equation_selectorC2ERKNS0_18data_specificationE	1769
_ZN5mcrl24data27used_data_equation_selector20add_function_symbolsERKNS0_15data_expressionE	5832
_ZNK5mcrl24data27used_data_equation_selectorclERKNS0_15function_symbolE	275586
_ZNK5mcrl24data27used_data_equation_selectorclERKNS0_13data_equationE	587538