LCOV - mcrl2_coverage.info.cleaned - data/source/detail/rewrite/strategy.cpp

LCOV - code coverage report

Current view:	top level - data/source/detail/rewrite - strategy.cpp (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	123	124	99.2 %
Date:	2024-04-26 03:18:02	Functions:	6	6	100.0 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZN5mcrl24data6detail13RewriterJitty36create_a_cpp_function_based_strategyERKNS0_15function_symbolERKNS0_18data_specificationE	3373
_ZN5mcrl24data6detail13RewriterJitty33create_a_rewriting_based_strategyERKNS0_15function_symbolERKN7atermpp9term_listINS0_13data_equationEEE	270050
_ZN5mcrl24data6detail13RewriterJitty15create_strategyERKNS0_15function_symbolERKN7atermpp9term_listINS0_13data_equationEEERKNS0_18data_specificationE	273423
_ZN5mcrl24data6detail30dependencies_rewrite_rule_pairC2ERSt3setImSt4lessImESaImEERKNS0_13data_equationE	1481274
_ZNK5mcrl24data6detail30dependencies_rewrite_rule_pair8equationEv	1481274
_ZNK5mcrl24data6detail30dependencies_rewrite_rule_pair12dependenciesEv	2379667