LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl Hit Total Coverage
Test: coverage.info Lines: 1929 2603 74.1 %
Date: 2026-04-27 10:45:38 Functions: 141 168 83.9 %
Branches: 1121 2089 53.7 %

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
85.4%85.4%
 85.4 % 310 / 363 83.3 % 10 / 12 64.4 % 181 / 281
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_solver.cpp
93.0%93.0%
 93.0 % 119 / 128 88.9 % 8 / 9 64.0 % 55 / 86
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