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

LCOV - code coverage report

Current view:	top level - data/include/mcrl2/data - alias.h (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	21	25	84.0 %
Date:	2024-05-01 03:37:31	Functions:	10	12	83.3 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl24data10make_aliasIJNS0_10basic_sortENS0_15sort_expressionEEEEvRN7atermpp9term_applINS4_5atermEEEDpRKT_	0
_ZN5mcrl24data5aliasaSEOS1_	0
_ZN5mcrl24datalsERSoRKNS0_5aliasE	9
_ZN5mcrl24data5aliasC2Ev	42
_ZN5mcrl24data5aliasC2ERKN7atermpp5atermE	567
_ZN5mcrl24data5aliasC2ERKNS0_10basic_sortERKNS0_15sort_expressionE	1140
_ZN5mcrl24data5aliasaSERKS1_	1383
_ZN5mcrl24data5aliasC2EOS1_	1492
_ZN5mcrl24data5aliasC2ERKS1_	8974
_ZNK5mcrl24data5alias9referenceEv	25066
_ZNK5mcrl24data5alias4nameEv	36346
_ZN5mcrl24data8is_aliasERKN7atermpp9term_applINS1_5atermEEE	150082