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

LCOV - code coverage report

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


Function Name	Hit count
_ZN5mcrl23lpslsERSoRKNS0_24stochastic_specificationE	1
_ZN5mcrl23lpseqERKNS0_24stochastic_specificationES3_	48
_ZN5mcrl23lpsneERKNS0_24stochastic_specificationES3_	48
_ZN5mcrl23lps24stochastic_specificationC2ERKNS0_13specificationE	279
_ZN5mcrl23lps27remove_stochastic_operatorsERKNS0_24stochastic_specificationE	398
_ZN5mcrl23lps24stochastic_specificationC2ERKNS_4data18data_specificationERKN7atermpp9term_listINS_7process12action_labelEEERKSt3setINS2_8variableESt4lessISE_ESaISE_EERKNS0_25stochastic_linear_processERKNS0_30stochastic_process_initializerE	1619
_ZN5mcrl23lps27complete_data_specificationERNS0_24stochastic_specificationE	2506
_ZN5mcrl23lps24stochastic_specificationC2Ev	14744