LCOV - code coverage report

Current view: top level - pbes/test - rewriter_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 318 323 98.5 % Date: 2024-04-26 03:18:02 Functions: 61 64 95.3 % Legend: Lines: hit not hit

Function Name	Hit count
_Z14test_rewritersI10normalizerI26rewriter_with_substitutionIN5mcrl211pbes_system30enumerate_quantifiers_rewriterEEES0_INS3_22simplify_data_rewriterINS2_4data8rewriterEEEEEvT_T0_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESJ_RKSJ_SL_	0
_Z14test_rewritersI10normalizerIN5mcrl211pbes_system13data_rewriterINS1_4data8rewriterEEEES7_EvT_T0_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESF_RKSF_SH_	0
_Z14test_rewritersI10normalizerIN5mcrl211pbes_system22simplify_data_rewriterINS1_4data8rewriterEEEES7_EvT_T0_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESF_RKSF_SH_	0
_Z35test_enumerate_quantifiers_rewriterRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_S6_S6_S6_	1
_ZL22test_data2pbes_invokerv	1
_ZL27test_substitutions1_invokerv	1
_ZL27test_substitutions2_invokerv	1
_ZL27test_substitutions3_invokerv	1
_ZL27test_substitutions4_invokerv	1
_ZL27test_substitutions5_invokerv	1
_ZL30test_simplify_rewriter_invokerv	1
_ZL33test_simplifying_rewriter_invokerv	1
_ZL43test_enumerate_quantifiers_rewriter_invokerv	1
_ZL44test_enumerate_quantifiers_rewriter2_invokerv	1
_ZL50test_enumerate_quantifiers_rewriter_finite_invokerv	1
_ZN14test_data2pbes11test_methodEv	1
_ZN19test_substitutions111test_methodEv	1
_ZN19test_substitutions211test_methodEv	1
_ZN19test_substitutions311test_methodEv	1
_ZN19test_substitutions411test_methodEv	1
_ZN19test_substitutions511test_methodEv	1
_ZN22test_simplify_rewriter11test_methodEv	1
_ZN25test_simplifying_rewriter11test_methodEv	1
_ZN35test_enumerate_quantifiers_rewriter11test_methodEv	1
_ZN36test_enumerate_quantifiers_rewriter211test_methodEv	1
_ZN42test_enumerate_quantifiers_rewriter_finite11test_methodEv	1
_Z14test_rewritersI10normalizerI26rewriter_with_substitutionIN5mcrl211pbes_system13data_rewriterINS2_4data8rewriterEEEEES0_IS7_EEvT_T0_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESI_RKSI_SK_	2
_Z16test_expressionsIN5mcrl211pbes_system13data_rewriterINS0_4data8rewriterEEES5_EvRT_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERT0_SD_SD_SD_SD_	2
_Z1NI26rewriter_with_substitutionIN5mcrl211pbes_system13data_rewriterINS1_4data8rewriterEEEEE10normalizerIT_ERS9_	2
_ZN10normalizerI26rewriter_with_substitutionIN5mcrl211pbes_system13data_rewriterINS1_4data8rewriterEEEEEC2ERS7_	2
_ZN26rewriter_with_substitutionIN5mcrl211pbes_system13data_rewriterINS0_4data8rewriterEEEEC2ERS5_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	2
_ZN26rewriter_with_substitutionIN5mcrl211pbes_system13data_rewriterINS0_4data8rewriterEEEEclERKNS1_15pbes_expressionE	2
_ZNK10normalizerI26rewriter_with_substitutionIN5mcrl211pbes_system13data_rewriterINS1_4data8rewriterEEEEEclERKNS2_15pbes_expressionE	2
_Z14test_rewritersI10normalizerI26rewriter_with_substitutionIN5mcrl211pbes_system30enumerate_quantifiers_rewriterEEES0_IS4_EEvT_T0_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESF_RKSF_SH_	3
_Z14test_rewritersI10normalizerIN5mcrl211pbes_system30enumerate_quantifiers_rewriterEES0_INS2_22simplify_data_rewriterINS1_4data8rewriterEEEEEvT_T0_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESH_RKSH_SJ_	3
_Z14test_rewritersI10normalizerIN5mcrl211pbes_system30enumerate_quantifiers_rewriterEES4_EvT_T0_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESC_RKSC_SE_	3
_Z16test_expressionsIN5mcrl211pbes_system30enumerate_quantifiers_rewriterENS1_22simplify_data_rewriterINS0_4data8rewriterEEEEvRT_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERT0_SE_SE_SE_SE_	3
_Z1NI26rewriter_with_substitutionIN5mcrl211pbes_system30enumerate_quantifiers_rewriterEEE10normalizerIT_ERS6_	3
_ZN10normalizerI26rewriter_with_substitutionIN5mcrl211pbes_system30enumerate_quantifiers_rewriterEEEC2ERS4_	3
_ZN26rewriter_with_substitutionIN5mcrl211pbes_system30enumerate_quantifiers_rewriterEEC2ERS2_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	3
_ZN26rewriter_with_substitutionIN5mcrl211pbes_system30enumerate_quantifiers_rewriterEEclERKNS1_15pbes_expressionE	3
_ZNK10normalizerI26rewriter_with_substitutionIN5mcrl211pbes_system30enumerate_quantifiers_rewriterEEEclERKNS2_15pbes_expressionE	3
_Z14test_rewritersI10normalizerI26rewriter_with_substitutionIN5mcrl211pbes_system22simplify_data_rewriterINS2_4data8rewriterEEEEES0_IS7_EEvT_T0_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESI_RKSI_SK_	4
_Z16test_expressionsIN5mcrl211pbes_system22simplify_data_rewriterINS0_4data8rewriterEEES5_EvRT_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERT0_SD_SD_SD_SD_	4
_Z1NI26rewriter_with_substitutionIN5mcrl211pbes_system22simplify_data_rewriterINS1_4data8rewriterEEEEE10normalizerIT_ERS9_	4
_ZN10normalizerI26rewriter_with_substitutionIN5mcrl211pbes_system22simplify_data_rewriterINS1_4data8rewriterEEEEEC2ERS7_	4
_ZN26rewriter_with_substitutionIN5mcrl211pbes_system22simplify_data_rewriterINS0_4data8rewriterEEEEC2ERS5_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	4
_ZN26rewriter_with_substitutionIN5mcrl211pbes_system22simplify_data_rewriterINS0_4data8rewriterEEEEclERKNS1_15pbes_expressionE	4
_ZNK10normalizerI26rewriter_with_substitutionIN5mcrl211pbes_system22simplify_data_rewriterINS1_4data8rewriterEEEEEclERKNS2_15pbes_expressionE	4
_Z16test_expressionsIN5mcrl211pbes_system30enumerate_quantifiers_rewriterES2_EvRT_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERT0_SA_SA_SA_SA_	6
_Z1NIN5mcrl211pbes_system22simplify_data_rewriterINS0_4data8rewriterEEEE10normalizerIT_ERS7_	7
_ZN10normalizerIN5mcrl211pbes_system22simplify_data_rewriterINS0_4data8rewriterEEEEC2ERS5_	7
_ZNK10normalizerIN5mcrl211pbes_system22simplify_data_rewriterINS0_4data8rewriterEEEEclERKNS1_15pbes_expressionE	7
_Z13test_simplifyIN5mcrl211pbes_system34simplify_quantifiers_data_rewriterINS0_4data8rewriterEEENS1_13data_rewriterIS4_EEEvT_T0_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESF_	41
_Z14test_rewritersI10normalizerIN5mcrl211pbes_system30enumerate_quantifiers_rewriterEES0_INS2_13data_rewriterINS1_4data8rewriterEEEEEvT_T0_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESH_RKSH_SJ_	42
_Z1NIN5mcrl211pbes_system13data_rewriterINS0_4data8rewriterEEEE10normalizerIT_ERS7_	44
_ZN10normalizerIN5mcrl211pbes_system13data_rewriterINS0_4data8rewriterEEEEC2ERS5_	44
_ZNK10normalizerIN5mcrl211pbes_system13data_rewriterINS0_4data8rewriterEEEEclERKNS1_15pbes_expressionE	44
_Z1NIN5mcrl211pbes_system30enumerate_quantifiers_rewriterEE10normalizerIT_ERS4_	54
_ZN10normalizerIN5mcrl211pbes_system30enumerate_quantifiers_rewriterEEC2ERS2_	54
_ZNK10normalizerIN5mcrl211pbes_system30enumerate_quantifiers_rewriterEEclERKNS1_15pbes_expressionE	54
_ZN6parserC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES7_	98
_ZNK8equal_toclERKN5mcrl211pbes_system15pbes_expressionES4_	98
_ZN6parserclERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	196

Generated by: LCOV version 1.14