LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps/detail - lps_algorithm.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 48 51 94.1 % Date: 2024-04-21 03:44:01 Functions: 17 22 77.3 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps6detail13lps_algorithmINS0_24stochastic_specificationEE22remove_singleton_sortsEv	0
_ZN5mcrl23lps6detail13lps_algorithmINS0_24stochastic_specificationEE23remove_trivial_summandsEv	0
_ZN5mcrl23lps6detail13lps_algorithmINS0_24stochastic_specificationEE39summand_remove_unused_summand_variablesINS0_14action_summandEEEvRT_	0
_ZN5mcrl23lps6detail13lps_algorithmINS0_24stochastic_specificationEE39summand_remove_unused_summand_variablesINS0_16deadlock_summandEEEvRT_	0
_ZNK5mcrl23lps6detail13lps_algorithmINS0_24stochastic_specificationEE21sumelm_find_variablesERKNS0_16deadlock_summandERSt3setINS_4data8variableESt4lessISA_ESaISA_EE	0
_ZN5mcrl23lps6detail13lps_algorithmINS0_13specificationEE26instantiate_free_variablesEv	1
_ZN5mcrl23lps6detail13lps_algorithmINS0_13specificationEE31remove_unused_summand_variablesEv	1
_ZNK5mcrl23lps6detail13lps_algorithmINS0_24stochastic_specificationEE7verboseEv	1
_ZZN5mcrl23lps6detail13lps_algorithmINS0_13specificationEE31remove_unused_summand_variablesEvENKUlRNS0_16deadlock_summandEE0_clES6_	1
_ZN5mcrl23lps6detail13lps_algorithmINS0_13specificationEE39summand_remove_unused_summand_variablesINS0_16deadlock_summandEEEvRT_	2
_ZNK5mcrl23lps6detail13lps_algorithmINS0_13specificationEE21sumelm_find_variablesERKNS0_16deadlock_summandERSt3setINS_4data8variableESt4lessISA_ESaISA_EE	2
_ZN5mcrl23lps6detail13lps_algorithmINS0_13specificationEE23remove_trivial_summandsEv	4
_ZZN5mcrl23lps6detail13lps_algorithmINS0_13specificationEE31remove_unused_summand_variablesEvENKUlRNS0_14action_summandEE_clES6_	10
_ZNK5mcrl23lps6detail13lps_algorithmINS0_13specificationEE7verboseEv	14
_ZN5mcrl23lps6detail13lps_algorithmINS0_13specificationEE39summand_remove_unused_summand_variablesINS0_14action_summandEEEvRT_	22
_ZNK5mcrl23lps6detail13lps_algorithmINS0_13specificationEE21sumelm_find_variablesERKNS0_14action_summandERSt3setINS_4data8variableESt4lessISA_ESaISA_EE	22
_ZNK5mcrl23lps6detail13lps_algorithmINS0_13specificationEE10next_stateERKNS0_14action_summandERKNS_4data8variableE	28
_ZN5mcrl23lps6detail13lps_algorithmINS0_13specificationEEC2ERS3_	60
_ZNK5mcrl23lps6detail13lps_algorithmINS0_24stochastic_specificationEE10next_stateERKNS0_14action_summandERKNS_4data8variableE	1331
_ZN5mcrl23lps6detail13lps_algorithmINS0_24stochastic_specificationEE39summand_remove_unused_summand_variablesINS0_25stochastic_action_summandEEEvRT_	14654
_ZNK5mcrl23lps6detail13lps_algorithmINS0_24stochastic_specificationEE21sumelm_find_variablesERKNS0_14action_summandERSt3setINS_4data8variableESt4lessISA_ESaISA_EE	14654
_ZN5mcrl23lps6detail13lps_algorithmINS0_24stochastic_specificationEEC2ERS3_	15373

Generated by: LCOV version 1.14