LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps - binary.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 153 162 94.4 % Date: 2024-05-04 03:44:52 Functions: 13 25 52.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE12make_if_treeESt6vectorINS2_8variableESaIS7_EERKS6_INS2_15data_expressionESaISA_EE	0
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE21update_action_summandERNS0_14action_summandE	0
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE22update_initial_processERKN7atermpp9term_listINS2_8variableEEERKNS0_30stochastic_process_initializerE	0
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE23update_deadlock_summandERNS0_16deadlock_summandE	0
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE29replace_enumerated_parametersERKSt3setINS2_8variableESt4lessIS7_ESaIS7_EE	0
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE3runEv	0
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE44replace_enumerated_parameters_in_assignmentsEN7atermpp9term_listINS2_10assignmentEEE	0
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE52replace_enumerated_parameters_in_initial_expressionsERKN7atermpp9term_listINS2_8variableEEERKNS7_INS2_15data_expressionEEE	0
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_24stochastic_specificationEEC2ERS4_RS3_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZNK5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE17select_parametersENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE29replace_enumerated_parametersERKSt3setINS2_8variableESt4lessIS7_ESaIS7_EEENKUlRKNS2_41enumerator_list_element_with_substitutionINS2_15data_expressionEEEE_clESI_	0
_ZZNK5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE17select_parametersENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEENKUlRKNS2_8variableEE_clESE_	0
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_13specificationEE23update_deadlock_summandERNS0_16deadlock_summandE	2
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_13specificationEE22update_initial_processERKN7atermpp9term_listINS2_8variableEEERKNS0_19process_initializerE	9
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_13specificationEE29replace_enumerated_parametersERKSt3setINS2_8variableESt4lessIS7_ESaIS7_EE	9
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_13specificationEE3runEv	9
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_13specificationEE52replace_enumerated_parameters_in_initial_expressionsERKN7atermpp9term_listINS2_8variableEEERKNS7_INS2_15data_expressionEEE	9
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_13specificationEEC2ERS4_RS3_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	9
_ZNK5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_13specificationEE17select_parametersENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	9
_ZN5mcrl23lps27nr_of_booleans_for_elementsEm	13
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_13specificationEE21update_action_summandERNS0_14action_summandE	19
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_13specificationEE44replace_enumerated_parameters_in_assignmentsEN7atermpp9term_listINS2_10assignmentEEE	19
_ZZNK5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_13specificationEE17select_parametersENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEENKUlRKNS2_8variableEE_clESE_	22
_ZZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_13specificationEE29replace_enumerated_parametersERKSt3setINS2_8variableESt4lessIS7_ESaIS7_EEENKUlRKNS2_41enumerator_list_element_with_substitutionINS2_15data_expressionEEEE_clESI_	50
_ZN5mcrl23lps16binary_algorithmINS_4data8rewriterENS0_13specificationEE12make_if_treeESt6vectorINS2_8variableESaIS7_EERKS6_INS2_15data_expressionESaISA_EE	107

Generated by: LCOV version 1.14