LCOV - code coverage report

Current view: top level - data/include/mcrl2/data/detail - rewriter_wrapper.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 11 11 100.0 % Date: 2024-05-04 03:44:52 Functions: 4 4 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZNK5mcrl24data6detail16rewriter_wrapperclERKNS0_15data_expressionE	8
_ZNK5mcrl24data6detail16rewriter_wrapperclERNS0_15data_expressionERKS3_RNS0_28mutable_indexed_substitutionINS0_8variableES3_EE	16
_ZN5mcrl24data6detail16rewriter_wrapperC2EPNS1_8RewriterE	1144
_ZNK5mcrl24data6detail16rewriter_wrapperclERKNS0_15data_expressionERNS0_28mutable_indexed_substitutionINS0_8variableES3_EE	68648

Generated by: LCOV version 1.14