LCOV - code coverage report
Current view:
top level
-
data/include/mcrl2/data/detail/prover
- bdd_prover.h
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
132
226
58.4 %
Date:
2024-03-08 02:52:28
Functions:
10
19
52.6 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN5mcrl24data6detail10BDD_Prover10get_branchERKNS0_15data_expressionEbRS3_
0
_ZN5mcrl24data6detail10BDD_Prover16is_contradictionEv
0
_ZN5mcrl24data6detail10BDD_Prover16set_substitutionERNS0_28mutable_indexed_substitutionINS0_8variableENS0_15data_expressionEEE
0
_ZN5mcrl24data6detail10BDD_Prover17thread_initialiseEv
0
_ZN5mcrl24data6detail10BDD_Prover19get_counter_exampleEv
0
_ZN5mcrl24data6detail10BDD_Prover5cloneEv
0
_ZN5mcrl24data6detail10BDD_Prover6indentB5cxx11Em
0
_ZN5mcrl24data6detail10BDD_ProverC2ERKNS0_8rewriterEib
0
_ZNK5mcrl24data6detail10BDD_Prover17rewriter_strategyEv
0
_ZN5mcrl24data6detail10BDD_ProverC2ERKNS0_18data_specificationERKNS0_27used_data_equation_selectorENS0_16rewrite_strategyEibNS1_15smt_solver_typeEb
18
_ZN5mcrl24data6detail10BDD_ProverD2Ev
18
_ZN5mcrl24data6detail10BDD_Prover7get_bddEv
21
_ZN5mcrl24data6detail10BDD_Prover12is_tautologyEv
60
_ZN5mcrl24data6detail10BDD_Prover11set_formulaERKNS0_15data_expressionE
81
_ZN5mcrl24data6detail10BDD_Prover14update_answersEv
81
_ZN5mcrl24data6detail10BDD_Prover15eliminate_pathsEv
81
_ZN5mcrl24data6detail10BDD_Prover9build_bddEv
81
_ZN5mcrl24data6detail10BDD_Prover8bdd_downERKNS0_15data_expressionEm
424
_ZN5mcrl24data6detail10BDD_Prover8smallestERKNS0_15data_expressionERS3_
989
Generated by:
LCOV version 1.14