LCOV - code coverage report

Current view: top level - data/include/mcrl2/data/detail/prover - bdd_info.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 4 15 26.7 % Date: 2024-04-26 03:18:02 Functions: 2 7 28.6 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl24data6detail8BDD_Info15get_true_branchERKNS0_15data_expressionE	0
_ZN5mcrl24data6detail8BDD_Info15is_if_then_elseERKNS0_15data_expressionE	0
_ZN5mcrl24data6detail8BDD_Info16get_false_branchERKNS0_15data_expressionE	0
_ZN5mcrl24data6detail8BDD_Info8argumentERKNS0_15data_expressionEm	0
_ZN5mcrl24data6detail8BDD_Info9get_guardERKNS0_15data_expressionE	0
_ZN5mcrl24data6detail8BDD_Info8is_falseERKNS0_15data_expressionE	22
_ZN5mcrl24data6detail8BDD_Info7is_trueERKNS0_15data_expressionE	81

Generated by: LCOV version 1.14