LCOV - code coverage report
Current view: top level - utilities/include/mcrl2/utilities/detail - test_operation.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 16 17 94.1 %
Date: 2024-03-08 02:52:28 Functions: 11 14 78.6 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl29utilities6detail14test_operationI6parser10normalizerI26rewriter_with_substitutionINS_11pbes_system30enumerate_quantifiers_rewriterEEES4_INS6_22simplify_data_rewriterINS_4data8rewriterEEEE8equal_toEEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESN_T_T2_T0_SN_T1_SN_ 0
_ZN5mcrl29utilities6detail14test_operationI6parser10normalizerINS_11pbes_system13data_rewriterINS_4data8rewriterEEEESA_8equal_toEEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESJ_T_T2_T0_SJ_T1_SJ_ 0
_ZN5mcrl29utilities6detail14test_operationI6parser10normalizerINS_11pbes_system22simplify_data_rewriterINS_4data8rewriterEEEESA_8equal_toEEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESJ_T_T2_T0_SJ_T1_SJ_ 0
_ZN5mcrl29utilities6detail14test_operationI6parser10normalizerI26rewriter_with_substitutionINS_11pbes_system13data_rewriterINS_4data8rewriterEEEEES4_ISA_E8equal_toEEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESM_T_T2_T0_SM_T1_SM_ 2
_ZN5mcrl29utilities6detail14test_operationI6parser10normalizerI26rewriter_with_substitutionINS_11pbes_system30enumerate_quantifiers_rewriterEEES4_IS7_E8equal_toEEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESJ_T_T2_T0_SJ_T1_SJ_ 3
_ZN5mcrl29utilities6detail14test_operationI6parser10normalizerINS_11pbes_system30enumerate_quantifiers_rewriterEES4_INS5_22simplify_data_rewriterINS_4data8rewriterEEEE8equal_toEEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESL_T_T2_T0_SL_T1_SL_ 3
_ZN5mcrl29utilities6detail14test_operationI6parser10normalizerINS_11pbes_system30enumerate_quantifiers_rewriterEES7_8equal_toEEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESG_T_T2_T0_SG_T1_SG_ 3
_ZN5mcrl29utilities6detail14test_operationINS_4data6detail6parserENS4_10normalizerINS3_17simplify_rewriterEEENS6_IFNS3_15data_expressionERKS9_EEESt8equal_toIS9_EEEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESN_T_T2_T0_SN_T1_SN_ 3
_ZN5mcrl29utilities6detail14test_operationIPFNS_11pbes_system15pbes_expressionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEPFS4_RKS4_ESI_St8equal_toIS4_EEEbSC_SC_T_T2_T0_SC_T1_SC_ 3
_ZN5mcrl29utilities6detail14test_operationI6parser10normalizerI26rewriter_with_substitutionINS_11pbes_system22simplify_data_rewriterINS_4data8rewriterEEEEES4_ISA_E8equal_toEEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESM_T_T2_T0_SM_T1_SM_ 4
_ZN5mcrl29utilities6detail14test_operationINS_4data6detail6parserENS4_10normalizerINS4_27one_point_rule_preprocessorEEENS6_IFNS3_15data_expressionERKS9_EEESt8equal_toIS9_EEEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESN_T_T2_T0_SN_T1_SN_ 10
_ZN5mcrl29utilities6detail14test_operationI6parserZ28test_one_point_rule_rewriterRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESB_EUlRKNS_11pbes_system15pbes_expressionEE_NSC_22simplify_data_rewriterINS_4data8rewriterEEESt8equal_toISD_EEEbSB_SB_T_T2_T0_SB_T1_SB_ 12
_ZN5mcrl29utilities6detail14test_operationI6parserNS_11pbes_system34simplify_quantifiers_data_rewriterINS_4data8rewriterEEENS4_13data_rewriterIS7_EE8equal_toEEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESJ_T_T2_T0_SJ_T1_SJ_ 41
_ZN5mcrl29utilities6detail14test_operationI6parser10normalizerINS_11pbes_system30enumerate_quantifiers_rewriterEES4_INS5_13data_rewriterINS_4data8rewriterEEEE8equal_toEEbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESL_T_T2_T0_SL_T1_SL_ 42

Generated by: LCOV version 1.14