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
_Z12replace_termR6clauseP9tree_node
181999
_Z13branch_clauseR7formulaR6clauseP9tree_node
116
_Z14decompose_termR7formulaR6clauseP9tree_node5rules
226569
_Z16decompose_clauseR7formulaR6clause5rules
1541
_Z20decompose_conjuntionR7formulaR6clauseP9tree_node5rules
181999
_Z21decompose_disjunctionR7formulaR6clauseP9tree_node5rules
116
_Z5debugR6clause
0
_Z5debugR7formula
0
_Z8subsumesP9tree_nodeS0_
246953
_ZL10cnf_size_rP9tree_node
365688
_ZL10dnf_size_rP9tree_node
365686
_ZL12derive_proofR6clauseP9tree_node5rules
133105
_ZL16save_subsumptionP9tree_nodeS0_b
1426
_ZL18lookup_subsumptionP9tree_nodeS0_
3405
_ZL19derive_atomic_proofR6clauseP9tree_node
0
_ZL28subsumes_constraints_nonnullP9tree_nodeS0_
3405
_ZL30derive_proof_for_both_operandsR6clauseP9tree_node5rules
67038
_ZL31derive_proof_for_either_operandR6clauseP9tree_node5rules
116
_ZL8cnf_sizeP9tree_node
0
_ZL8dnf_sizeP9tree_node
0
_ZN18subsumption_hasher4hashEP17subsumption_entry
9392
_ZN18subsumption_hasher5equalEP17subsumption_entryS1_
6721
_ZN6clause6insertESt14_List_iteratorIP9tree_nodeES2_
181999
_ZN6clause7advanceEv
44454
_ZN6clause7replaceEP9tree_node
232
_ZN6clause7replaceEP9tree_nodeS1_
181999
_ZN6clause7replaceESt14_List_iteratorIP9tree_nodeES2_
182231
_ZN6clause8containsEP9tree_node
65951
_ZN6clauseC2EP9tree_node
1426
_ZN6clauseC2ERKS_
116
_ZN7formula5eraseESt14_List_iteratorI6clauseE
798
_ZN7formula6branchEv
116
_ZN7formula7advanceEv
1541
_ZN7formulaC2EP9tree_node
1426
Generated by:
LCOV version 1.16