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
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