LCOV - code coverage report
Current view: top level - gcc/cp - logic.cc (source / functions) Coverage Total Hit
Test: gcc.info Lines: 79.0 % 295 233
Test Date: 2025-07-26 09:32:30 Functions: 85.3 % 34 29
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: - 0 0

Function Name Sort by function name Hit count Sort by function hit count
_Z5debugR6clause 0
_Z5debugR7formula 0
_ZL19derive_atomic_proofR6clauseP9tree_node 0
_ZL8cnf_sizeP9tree_node 0
_ZL8dnf_sizeP9tree_node 0
_ZL31derive_proof_for_either_operandR6clauseP9tree_node5rules 3267
_Z13branch_clauseR7formulaR6clauseP9tree_node 7061
_Z21decompose_disjunctionR7formulaR6clauseP9tree_node5rules 7061
_ZN6clauseC2ERKS_ 7061
_ZN7formula6branchEv 7061
_ZN6clause7replaceEP9tree_node 14122
_ZN7formula5eraseESt14_List_iteratorI6clauseE 21096
_ZL16save_subsumptionP9tree_nodeS0_b 28217
_ZN6clauseC2EP9tree_node 28217
_ZN7formulaC2EP9tree_node 28217
_Z16decompose_clauseR7formulaR6clause5rules 35276
_ZN7formula7advanceEv 35276
_ZL18lookup_subsumptionP9tree_nodeS0_ 49803
_ZL28subsumes_constraints_nonnullP9tree_nodeS0_ 49803
_ZN18subsumption_hasher5equalEP17subsumption_entryS1_ 89256
_ZN18subsumption_hasher4hashEP17subsumption_entry 139562
_ZN6clause8containsEP9tree_node 820821
_ZL30derive_proof_for_both_operandsR6clauseP9tree_node5rules 838047
_ZN6clause7advanceEv 997520
_ZL12derive_proofR6clauseP9tree_node5rules 1662135
_Z12replace_termR6clauseP9tree_node 3268061
_Z20decompose_conjuntionR7formulaR6clauseP9tree_node5rules 3268061
_ZN6clause6insertESt14_List_iteratorIP9tree_nodeES2_ 3268061
_ZN6clause7replaceEP9tree_nodeS1_ 3268061
_ZN6clause7replaceESt14_List_iteratorIP9tree_nodeES2_ 3282183
_Z14decompose_termR7formulaR6clauseP9tree_node5rules 4272642
_Z8subsumesP9tree_nodeS0_ 5974701
_ZL10dnf_size_rP9tree_node 6578521
_ZL10cnf_size_rP9tree_node 6578545

Generated by: LCOV version 2.1-beta

LCOV profile is generated on x86_64 machine using following configure options: configure --disable-bootstrap --enable-coverage=opt --enable-languages=c,c++,fortran,go,jit,lto,rust,m2 --enable-host-shared. GCC test suite is run with the built compiler.