LCOV - mcrl2_coverage.info.cleaned - lps/include/mcrl2/lps/action_summand.h

LCOV - code coverage report

Current view:	top level - lps/include/mcrl2/lps - action_summand.h (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	35	37	94.6 %
Date:	2024-05-04 03:44:52	Functions:	14	15	93.3 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl23lpslsERSoRKNS0_14action_summandE	0
_ZN5mcrl23lpseqERKNS0_14action_summandES3_	1
_ZN5mcrl23lps14action_summandC2Ev	23
_ZN5mcrl23lps23action_summand_to_atermERKNS0_14action_summandE	50
_ZN5mcrl23lps14action_summandaSEOS1_	331
_ZN5mcrl23lps14action_summandaSERKS1_	2765
_ZN5mcrl23lps14action_summand12multi_actionEv	10677
_ZN5mcrl23lps14action_summand11assignmentsEv	12572
_ZNK5mcrl23lps14action_summand6is_tauEv	16856
_ZN5mcrl23lps14action_summandC2ERKN7atermpp9term_listINS_4data8variableEEERKNS4_15data_expressionERKNS0_12multi_actionERKNS3_INS4_10assignmentEEE	34592
_ZN5mcrl23lps14action_summandC2ERKS1_	36730
_ZNK5mcrl23lps14action_summand11assignmentsEv	69314
_ZN5mcrl23lps14action_summandC2EOS1_	71845
_ZNK5mcrl23lps14action_summand8has_timeEv	100010
_ZNK5mcrl23lps14action_summand12multi_actionEv	348014