LCOV - code coverage report

Current view: top level - pbes/include/mcrl2/pbes - replace_constants_by_variables.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 0 7 0.0 % Date: 2024-04-21 03:44:01 Functions: 0 2 0.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl211pbes_system30replace_constants_by_variablesINS0_4pbesEEEvRT_RKNS_4data8rewriterERNS5_28mutable_indexed_substitutionINS5_8variableENS5_15data_expressionEEEPNSt9enable_ifIXntsrSt10is_base_ofIN7atermpp5atermES3_E5valueEvE4typeE	0
_ZN5mcrl211pbes_system6detail38replace_constants_by_variables_builderC2ERKNS_4data8rewriterERNS3_28mutable_indexed_substitutionINS3_8variableENS3_15data_expressionEEE	0

Generated by: LCOV version 1.14