LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps - summand.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 14 14 100.0 % Date: 2024-05-01 03:37:31 Functions: 6 6 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps12summand_baseC2Ev	25
_ZN5mcrl23lps12summand_base9conditionEv	51822
_ZN5mcrl23lps12summand_baseC2ERKN7atermpp9term_listINS_4data8variableEEERKNS4_15data_expressionE	66618
_ZNK5mcrl23lps12summand_base19summation_variablesEv	91742
_ZN5mcrl23lps12summand_base19summation_variablesEv	96464
_ZNK5mcrl23lps12summand_base9conditionEv	295152

Generated by: LCOV version 1.14