LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl Hit Total Coverage
Test: coverage.info Lines: 1913 2578 74.2 %
Date: 2026-03-15 10:41:23 Functions: 136 163 83.4 %
Branches: 1096 2055 53.3 %

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
88.0%88.0%
 88.0 % 110 / 125 100.0 % 7 / 7 58.1 % 72 / 124
equality_substitution.h
100.0%
 100.0 % 3 / 3 100.0 % 3 / 3 - 0 / 0
ext_theory_callback.cpp
92.6%92.6%
 92.6 % 50 / 54 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
77.3%77.3%
 77.3 % 140 / 181 61.5 % 8 / 13 52.7 % 58 / 110
iand_utils.cpp
94.2%94.2%
 94.2 % 97 / 103 92.3 % 12 / 13 57.4 % 54 / 94
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.9%69.9%
 69.9 % 450 / 644 95.8 % 23 / 24 50.1 % 335 / 669
nonlinear_extension.cpp
85.1%85.1%
 85.1 % 298 / 350 83.3 % 10 / 12 63.2 % 170 / 269
nonlinear_extension.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
piand_solver.cpp
49.3%49.3%
 49.3 % 112 / 227 71.4 % 5 / 7 57.4 % 39 / 68
poly_conversion.cpp
64.0%64.0%
 64.0 % 295 / 461 77.1 % 27 / 35 41.1 % 152 / 370
poly_conversion.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
pow2_solver.cpp
93.0%93.0%
 93.0 % 120 / 129 88.9 % 8 / 9 64.6 % 53 / 82
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