LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps - deadlock_summand.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 26 26 100.0 % Date: 2024-05-04 03:44:52 Functions: 11 11 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps16deadlock_summandC2Ev	2
_ZN5mcrl23lps16deadlock_summandaSEOS1_	2
_ZN5mcrl23lpslsERSoRKNS0_16deadlock_summandE	4
_ZN5mcrl23lps25deadlock_summand_to_atermERKNS0_16deadlock_summandE	32
_ZN5mcrl23lps16deadlock_summandaSERKS1_	730
_ZN5mcrl23lps16deadlock_summand8deadlockEv	8685
_ZNK5mcrl23lps16deadlock_summand8has_timeEv	9232
_ZN5mcrl23lps16deadlock_summandC2ERKS1_	14297
_ZN5mcrl23lps16deadlock_summandC2ERKN7atermpp9term_listINS_4data8variableEEERKNS4_15data_expressionERKNS0_8deadlockE	32026
_ZNK5mcrl23lps16deadlock_summand8deadlockEv	51204
_ZN5mcrl23lps16deadlock_summandC2EOS1_	69611

Generated by: LCOV version 1.14