LCOV - code coverage report

Current view: top level - data/include/mcrl2/data/detail/rewrite - with_prover.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 0 36 0.0 % Date: 2024-04-26 03:18:02 Functions: 0 9 0.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data6detail14RewriterProver11getStrategyEv	0
_ZN5mcrl24data6detail14RewriterProver17thread_initialiseEv	0
_ZN5mcrl24data6detail14RewriterProver5cloneEv	0
_ZN5mcrl24data6detail14RewriterProver7rewriteERKNS0_15data_expressionERNS0_28mutable_indexed_substitutionINS0_8variableES3_EE	0
_ZN5mcrl24data6detail14RewriterProver7rewriteERNS0_15data_expressionERKS3_RNS0_28mutable_indexed_substitutionINS0_8variableES3_EE	0
_ZN5mcrl24data6detail14RewriterProverC2ERKNS0_18data_specificationENS0_16rewrite_strategyERKNS0_27used_data_equation_selectorE	0
_ZN5mcrl24data6detail14RewriterProverC2ERKS2_NS1_10BDD_ProverE	0
_ZN5mcrl24data6detail14RewriterProverD0Ev	0
_ZN5mcrl24data6detail14RewriterProverD2Ev	0

Generated by: LCOV version 1.14