LCOV - mcrl2_coverage.info.cleaned - data/include/mcrl2/data/detail/variable_context.h

LCOV - code coverage report

Current view:	top level - data/include/mcrl2/data/detail - variable_context.h (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	26	28	92.9 %
Date:	2024-04-21 03:44:01	Functions:	8	8	100.0 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl24data6detail16variable_context21add_context_variablesISt6vectorINS0_8variableESaIS5_EEEEvRKT_RKNS0_17data_type_checkerE	204
_ZN5mcrl24data6detail16variable_context21add_context_variablesIN7atermpp9term_listINS0_8variableEEEEEvRKT_	1335
_ZN5mcrl24data6detail16variable_context5clearEv	1622
_ZN5mcrl24data6detail16variable_context21add_context_variablesISt3setINS0_8variableESt4lessIS5_ESaIS5_EEEEvRKT_RKNS0_17data_type_checkerE	1799
_ZN5mcrl24data6detail30check_duplicate_variable_namesERKN7atermpp9term_listINS0_8variableEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	3265
_ZN5mcrl24data6detail16variable_contextC2Ev	4857
_ZN5mcrl24data6detail16variable_context21add_context_variablesIN7atermpp9term_listINS0_8variableEEEEEvRKT_RKNS0_17data_type_checkerE	6013
_ZNK5mcrl24data6detail16variable_context7contextEv	121088