LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps - constelm.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 88 99 88.9 % Date: 2024-05-01 03:37:31 Functions: 18 18 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE3runEbb	2
_ZN5mcrl23lps8constelmINS_4data8rewriterENS0_24stochastic_specificationEEEvRT0_RKT_b	2
_ZN5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_13specificationEE13LOG_CONDITIONERKNS2_15data_expressionES8_RKNS2_24mutable_map_substitutionISt3mapINS2_8variableES6_St4lessISB_ESaISt4pairIKSB_S6_EEEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	6
_ZN5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_13specificationEE17remove_parametersERNS2_24mutable_map_substitutionISt3mapINS2_8variableENS2_15data_expressionESt4lessIS8_ESaISt4pairIKS8_S9_EEEEE	10
_ZN5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_13specificationEE23LOG_CONSTANT_PARAMETERSERKNS2_24mutable_map_substitutionISt3mapINS2_8variableENS2_15data_expressionESt4lessIS8_ESaISt4pairIKS8_S9_EEEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	10
_ZN5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_13specificationEE27compute_constant_parametersEbb	10
_ZN5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_13specificationEE3runEbb	10
_ZN5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_13specificationEEC2ERS4_RKS3_	10
_ZN5mcrl23lps8constelmINS_4data8rewriterENS0_13specificationEEEvRT0_RKT_b	10
_ZNK5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_13specificationEE11is_constantERKNS2_15data_expressionERKSt3setINS2_8variableESt4lessISA_ESaISA_EE	19
_ZN5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_13specificationEE20LOG_PARAMETER_CHANGEERKNS2_15data_expressionES8_S8_RKNS2_24mutable_map_substitutionISt3mapINS2_8variableES6_St4lessISB_ESaISt4pairIKSB_S6_EEEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	28
_ZN5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE13LOG_CONDITIONERKNS2_15data_expressionES8_RKNS2_24mutable_map_substitutionISt3mapINS2_8variableES6_St4lessISB_ESaISt4pairIKSB_S6_EEEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	240
_ZN5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE17remove_parametersERNS2_24mutable_map_substitutionISt3mapINS2_8variableENS2_15data_expressionESt4lessIS8_ESaISt4pairIKS8_S9_EEEEE	717
_ZN5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE23LOG_CONSTANT_PARAMETERSERKNS2_24mutable_map_substitutionISt3mapINS2_8variableENS2_15data_expressionESt4lessIS8_ESaISt4pairIKS8_S9_EEEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	717
_ZN5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE27compute_constant_parametersEbb	717
_ZN5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_24stochastic_specificationEEC2ERS4_RKS3_	717
_ZNK5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE11is_constantERKNS2_15data_expressionERKSt3setINS2_8variableESt4lessISA_ESaISA_EE	923
_ZN5mcrl23lps18constelm_algorithmINS_4data8rewriterENS0_24stochastic_specificationEE20LOG_PARAMETER_CHANGEERKNS2_15data_expressionES8_S8_RKNS2_24mutable_map_substitutionISt3mapINS2_8variableES6_St4lessISB_ESaISt4pairIKSB_S6_EEEEERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	1329

Generated by: LCOV version 1.14