LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl Hit Total Coverage
Test: coverage.info Lines: 1717 2420 71.0 %
Date: 2026-01-26 12:24:50 Functions: 136 163 83.4 %
Branches: 1003 1911 52.5 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
coverings_solver.cpp
61.7%61.7%
 61.7 % 71 / 115 75.0 % 6 / 8 37.5 % 45 / 120
equality_substitution.cpp
88.2%88.2%
 88.2 % 105 / 119 100.0 % 7 / 7 54.8 % 63 / 115
equality_substitution.h
100.0%
 100.0 % 3 / 3 100.0 % 3 / 3 - 0 / 0
ext_theory_callback.cpp
94.0%94.0%
 94.0 % 47 / 50 100.0 % 3 / 3 81.0 % 34 / 42
ext_theory_callback.h
100.0%
 100.0 % 1 / 1 50.0 % 1 / 2 - 0 / 0
iand_solver.cpp
78.2%78.2%
 78.2 % 129 / 165 61.5 % 8 / 13 50.9 % 54 / 106
iand_utils.cpp
96.0%96.0%
 96.0 % 95 / 99 92.3 % 12 / 13 57.6 % 53 / 92
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 % 17 / 17 83.3 % 5 / 6 - 0 / 0
nl_model.cpp
69.6%69.6%
 69.6 % 425 / 611 95.8 % 23 / 24 51.6 % 317 / 614
nonlinear_extension.cpp
84.3%84.3%
 84.3 % 279 / 331 83.3 % 10 / 12 62.9 % 168 / 267
nonlinear_extension.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
piand_solver.cpp
14.2%14.2%
 14.2 % 30 / 212 71.4 % 5 / 7 22.5 % 9 / 40
poly_conversion.cpp
62.8%62.8%
 62.8 % 268 / 427 77.1 % 27 / 35 40.8 % 141 / 346
poly_conversion.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
pow2_solver.cpp
93.3%93.3%
 93.3 % 112 / 120 88.9 % 8 / 9 62.2 % 46 / 74
stats.cpp
100.0%
 100.0 % 4 / 4 100.0 % 1 / 1 - 0 / 0
strategy.cpp
93.1%93.1%
 93.1 % 108 / 116 90.9 % 10 / 11 79.2 % 61 / 77
strategy.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0

Generated by: LCOV version 1.14