LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl Hit Total Coverage
Test: coverage.info Lines: 1965 2661 73.8 %
Date: 2026-07-23 10:35:29 Functions: 147 174 84.5 %
Branches: 1143 2139 53.4 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
coverings_solver.cpp
62.8%62.8%
 62.8 % 81 / 129 75.0 % 6 / 8 38.5 % 47 / 122
equality_substitution.cpp
87.3%87.3%
 87.3 % 110 / 126 100.0 % 8 / 8 58.1 % 72 / 124
equality_substitution.h
100.0%
 100.0 % 3 / 3 100.0 % 3 / 3 - 0 / 0
ext_theory_callback.cpp
92.5%92.5%
 92.5 % 49 / 53 100.0 % 3 / 3 82.6 % 38 / 46
ext_theory_callback.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
iand_solver.cpp
76.6%76.6%
 76.6 % 141 / 184 61.5 % 8 / 13 52.6 % 60 / 114
iand_utils.cpp
94.4%94.4%
 94.4 % 101 / 107 92.3 % 12 / 13 56.9 % 58 / 102
nl_lemma_utils.cpp
74.1%74.1%
 74.1 % 20 / 27 66.7 % 4 / 6 66.7 % 12 / 18
nl_lemma_utils.h
100.0%
 100.0 % 19 / 19 83.3 % 5 / 6 - 0 / 0
nl_model.cpp
69.8%69.8%
 69.8 % 450 / 645 96.4 % 27 / 28 50.5 % 341 / 675
nonlinear_extension.cpp
82.0%82.0%
 82.0 % 314 / 383 84.6 % 11 / 13 61.7 % 182 / 295
nonlinear_extension.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
piand_solver.cpp
49.1%49.1%
 49.1 % 112 / 228 71.4 % 5 / 7 57.4 % 39 / 68
poly_conversion.cpp
63.7%63.7%
 63.7 % 296 / 465 77.1 % 27 / 35 41.1 % 152 / 370
poly_conversion.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
pow2_proof_checker.cpp
100.0%
 100.0 % 11 / 11 100.0 % 3 / 3 - 0 / 0
pow2_solver.cpp
90.3%90.3%
 90.3 % 140 / 155 90.9 % 10 / 11 62.3 % 76 / 122
stats.cpp
100.0%
 100.0 % 4 / 4 100.0 % 1 / 1 - 0 / 0
strategy.cpp
93.2%93.2%
 93.2 % 110 / 118 90.9 % 10 / 11 79.5 % 66 / 83
strategy.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0

Generated by: LCOV version 1.14