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 Sort by function name Hit count Sort by 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