LCOV - code coverage report

Current view: top level - data/source/detail/rewrite - jitty.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 381 417 91.4 % Date: 2024-04-26 03:18:02 Functions: 19 20 95.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data6detail13RewriterJitty11getStrategyEv	0
_ZN5mcrl24data6detail23jitty_argument_rewriterC2ERNS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEERNS1_13RewriterJittyE	10
_ZN5mcrl24data6detail13RewriterJitty35apply_cpp_code_to_higher_order_termIN9__gnu_cxx17__normal_iteratorIPKN7atermpp6detail15reference_atermINS0_15data_expressionEvEESt6vectorISA_SaISA_EEEEEEvRS9_RKNS0_11applicationESt8functionIFS9_RKS9_EET_SQ_RNS0_28mutable_indexed_substitutionINS0_8variableES9_EE	24
_ZZN5mcrl24data6detail13RewriterJitty35apply_cpp_code_to_higher_order_termIN9__gnu_cxx17__normal_iteratorIPKN7atermpp6detail15reference_atermINS0_15data_expressionEvEESt6vectorISA_SaISA_EEEEEEvRS9_RKNS0_11applicationESt8functionIFS9_RKS9_EET_SQ_RNS0_28mutable_indexed_substitutionINS0_8variableES9_EEENKUlSN_E_clESN_	24
_ZN5mcrl24data6detail23jitty_argument_rewriterclERNS0_15data_expressionERKS3_	32
_ZN5mcrl24data6detail13RewriterJittyD0Ev	1796
_ZN5mcrl24data6detail13RewriterJitty16rebuild_strategyERKNS0_18data_specificationERKNS0_27used_data_equation_selectorE	1801
_ZN5mcrl24data6detail13RewriterJittyC2ERKNS0_18data_specificationERKNS0_27used_data_equation_selectorE	1801
_ZN5mcrl24data6detail13RewriterJittyD2Ev	1801
_ZN5mcrl24data6detail13RewriterJitty7rewriteERKNS0_15data_expressionERNS0_28mutable_indexed_substitutionINS0_8variableES3_EE	78812
_ZN5mcrl24data6detail13RewriterJitty7rewriteERNS0_15data_expressionERKS3_RNS0_28mutable_indexed_substitutionINS0_8variableES3_EE	345016
_ZN5mcrl24data6detail13RewriterJitty33rewrite_aux_const_function_symbolERNS0_15data_expressionERKNS0_15function_symbolERNS0_28mutable_indexed_substitutionINS0_8variableES3_EE	723116
_ZZN5mcrl24data6detail13RewriterJitty12subst_valuesERNS0_15data_expressionERKNS1_36jitty_assignments_for_a_rewrite_ruleERKS3_RNS0_31enumerator_identifier_generatorEENKUlS4_S9_E_clES4_S9_	933033
_ZN5mcrl24data6detail13RewriterJitty27rewrite_aux_function_symbolERNS0_15data_expressionERKNS0_15function_symbolERKNS0_11applicationERNS0_28mutable_indexed_substitutionINS0_8variableES3_EE	1125322
_ZN5mcrl24data6detail13RewriterJitty12subst_valuesERNS0_15data_expressionERKNS1_36jitty_assignments_for_a_rewrite_ruleERKS3_RNS0_31enumerator_identifier_generatorE	1304744
_ZN5mcrl24data6detail13RewriterJitty36make_jitty_strat_sufficiently_largerEm	2121860
_ZZN5mcrl24data6detail13RewriterJitty27remove_normal_form_functionERKNS0_15data_expressionEENKUlS5_E_clES5_	2274537
_ZN5mcrl24data6detail13RewriterJitty11rewrite_auxERNS0_15data_expressionERKS3_RNS0_28mutable_indexed_substitutionINS0_8variableES3_EE	2617576
_ZN5mcrl24data6detail13RewriterJitty27remove_normal_form_functionERKNS0_15data_expressionE	2907971
_ZN5mcrl24data6detailL11match_jittyERKNS0_15data_expressionES4_RNS1_36jitty_assignments_for_a_rewrite_ruleEb	4690484

Generated by: LCOV version 1.14