LCOV - code coverage report
Current view: top level - lps/include/mcrl2/lps - stochastic_linear_process.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 13 14 92.9 %
Date: 2024-05-01 03:37:31 Functions: 4 4 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl23lps25stochastic_linear_processC2ERKNS0_14linear_processE 279
_ZN5mcrl23lps6detail23convert_action_summandsERKSt6vectorINS0_14action_summandESaIS3_EE 279
_ZN5mcrl23lps25stochastic_linear_processC2ERKN7atermpp9term_listINS_4data8variableEEERKSt6vectorINS0_16deadlock_summandESaISA_EERKS9_INS0_25stochastic_action_summandESaISF_EE 1612
_ZN5mcrl23lps25stochastic_linear_processC2Ev 14751

Generated by: LCOV version 1.14