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

LCOV - code coverage report

Current view:	top level - lps/include/mcrl2/lps - invelm_algorithm.h (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	21	21	100.0 %
Date:	2024-04-17 03:40:49	Functions:	5	10	50.0 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl23lps16invelm_algorithmINS0_24stochastic_specificationEE16simplify_summandERNS0_12summand_baseERKNS_4data15data_expressionEb	0
_ZN5mcrl23lps16invelm_algorithmINS0_24stochastic_specificationEE17simplify_summandsISt6vectorINS0_16deadlock_summandESaIS6_EEEEvRT_RKNS_4data15data_expressionEb	0
_ZN5mcrl23lps16invelm_algorithmINS0_24stochastic_specificationEE17simplify_summandsISt6vectorINS0_25stochastic_action_summandESaIS6_EEEEvRT_RKNS_4data15data_expressionEb	0
_ZN5mcrl23lps16invelm_algorithmINS0_24stochastic_specificationEE3runERKNS_4data15data_expressionEb	0
_ZN5mcrl23lps16invelm_algorithmINS0_24stochastic_specificationEEC2ERS2_NS_4data16rewrite_strategyEibNS5_6detail15smt_solver_typeEbb	0
_ZN5mcrl23lps16invelm_algorithmINS0_13specificationEE17simplify_summandsISt6vectorINS0_14action_summandESaIS6_EEEEvRT_RKNS_4data15data_expressionEb	4
_ZN5mcrl23lps16invelm_algorithmINS0_13specificationEE17simplify_summandsISt6vectorINS0_16deadlock_summandESaIS6_EEEEvRT_RKNS_4data15data_expressionEb	4
_ZN5mcrl23lps16invelm_algorithmINS0_13specificationEE3runERKNS_4data15data_expressionEb	4
_ZN5mcrl23lps16invelm_algorithmINS0_13specificationEEC2ERS2_NS_4data16rewrite_strategyEibNS5_6detail15smt_solver_typeEbb	4
_ZN5mcrl23lps16invelm_algorithmINS0_13specificationEE16simplify_summandERNS0_12summand_baseERKNS_4data15data_expressionEb	26