LCOV - mcrl2_coverage.info.cleaned - lps/source/lps_io.cpp

LCOV - code coverage report

Current view:	top level - lps/source - lps_io.cpp (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	104	115	90.4 %
Date:	2024-04-26 03:18:02	Functions:	13	15	86.7 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl23lpslsERN7atermpp13aterm_ostreamERKNS0_24stochastic_specificationE	0
_ZN5mcrl23lpsrsERN7atermpp13aterm_istreamERNS0_24stochastic_specificationE	0
_ZN5mcrl23lpslsERN7atermpp13aterm_ostreamERKNS0_16deadlock_summandE	1
_ZN5mcrl23lpsrsERN7atermpp13aterm_istreamERNS0_16deadlock_summandE	2
_ZN5mcrl23lpsL10write_specERN7atermpp13aterm_ostreamERKNS0_24stochastic_specificationE	3
_ZN5mcrl23lpslsERN7atermpp13aterm_ostreamERKNS0_13specificationE	3
_ZN5mcrl23lpslsINS0_25stochastic_action_summandEEERN7atermpp13aterm_ostreamES5_RKNS0_19linear_process_baseIT_EE	3
_ZN5mcrl23lpsL9read_specERN7atermpp13aterm_istreamERNS0_24stochastic_specificationE	5
_ZN5mcrl23lpsrsERN7atermpp13aterm_istreamERNS0_13specificationE	5
_ZN5mcrl23lpsrsINS0_25stochastic_action_summandEEERN7atermpp13aterm_istreamES5_RNS0_19linear_process_baseIT_EE	5
_ZN5mcrl23lps35linear_process_specification_markerEv	8
_ZN5mcrl23lpslsERN7atermpp13aterm_ostreamERKNS0_12multi_actionE	12
_ZN5mcrl23lpslsERN7atermpp13aterm_ostreamERKNS0_25stochastic_action_summandE	12
_ZN5mcrl23lpsrsERN7atermpp13aterm_istreamERNS0_12multi_actionE	23
_ZN5mcrl23lpsrsERN7atermpp13aterm_istreamERNS0_25stochastic_action_summandE	23