LCOV - gcc.info - gcc/cp/logic.cc

LCOV - code coverage report

Current view:	top level - gcc/cp - logic.cc (source / functions)		Hit	Total	Coverage
Test:	gcc.info	Lines:	225	289	77.9 %
Date:	2023-07-19 08:18:47	Functions:	29	34	85.3 %


Function Name	Hit count
_Z5debugR6clause	0
_Z5debugR7formula	0
_ZL19derive_atomic_proofR6clauseP9tree_node	0
_ZL8cnf_sizeP9tree_node	0
_ZL8dnf_sizeP9tree_node	0
_Z13branch_clauseR7formulaR6clauseP9tree_node	116
_Z21decompose_disjunctionR7formulaR6clauseP9tree_node5rules	116
_ZL31derive_proof_for_either_operandR6clauseP9tree_node5rules	116
_ZN6clauseC2ERKS_	116
_ZN7formula6branchEv	116
_ZN6clause7replaceEP9tree_node	232
_ZN7formula5eraseESt14_List_iteratorI6clauseE	798
_ZL16save_subsumptionP9tree_nodeS0_b	1426
_ZN6clauseC2EP9tree_node	1426
_ZN7formulaC2EP9tree_node	1426
_Z16decompose_clauseR7formulaR6clause5rules	1541
_ZN7formula7advanceEv	1541
_ZL18lookup_subsumptionP9tree_nodeS0_	3405
_ZL28subsumes_constraints_nonnullP9tree_nodeS0_	3405
_ZN18subsumption_hasher5equalEP17subsumption_entryS1_	6721
_ZN18subsumption_hasher4hashEP17subsumption_entry	9392
_ZN6clause7advanceEv	44454
_ZN6clause8containsEP9tree_node	65951
_ZL30derive_proof_for_both_operandsR6clauseP9tree_node5rules	67038
_ZL12derive_proofR6clauseP9tree_node5rules	133105
_Z12replace_termR6clauseP9tree_node	181999
_Z20decompose_conjuntionR7formulaR6clauseP9tree_node5rules	181999
_ZN6clause6insertESt14_List_iteratorIP9tree_nodeES2_	181999
_ZN6clause7replaceEP9tree_nodeS1_	181999
_ZN6clause7replaceESt14_List_iteratorIP9tree_nodeES2_	182231
_Z14decompose_termR7formulaR6clauseP9tree_node5rules	226569
_Z8subsumesP9tree_nodeS0_	246953
_ZL10dnf_size_rP9tree_node	365686
_ZL10cnf_size_rP9tree_node	365688