LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/ext Hit Total Coverage
Test: coverage.info Lines: 1694 1959 86.5 %
Date: 2026-08-22 10:38:04 Functions: 80 87 92.0 %
Branches: 1096 1753 62.5 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
arith_nl_compare_proof_gen.cpp
92.3%92.3%
 92.3 % 204 / 221 100.0 % 13 / 13 58.9 % 139 / 236
constraint.cpp
96.6%96.6%
 96.6 % 57 / 59 100.0 % 4 / 4 68.2 % 30 / 44
constraint.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
ext_state.cpp
100.0%
 100.0 % 44 / 44 100.0 % 4 / 4 70.8 % 17 / 24
factoring_check.cpp
97.8%97.8%
 97.8 % 136 / 139 100.0 % 3 / 3 81.5 % 75 / 92
flatten_monomial_check.cpp
94.6%94.6%
 94.6 % 194 / 205 100.0 % 8 / 8 67.9 % 125 / 184
monomial.cpp
92.2%92.2%
 92.2 % 178 / 193 95.0 % 19 / 20 64.2 % 95 / 148
monomial.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
monomial_bounds_check.cpp
55.6%55.6%
 55.6 % 190 / 342 62.5 % 5 / 8 45.5 % 122 / 268
monomial_check.cpp
90.4%90.4%
 90.4 % 459 / 508 83.3 % 15 / 18 69.2 % 292 / 422
proof_checker.cpp
90.8%90.8%
 90.8 % 129 / 142 100.0 % 3 / 3 52.7 % 128 / 243
split_zero_check.cpp
88.9%88.9%
 88.9 % 16 / 18 100.0 % 2 / 2 75.0 % 6 / 8
tangent_plane_check.cpp
98.8%98.8%
 98.8 % 85 / 86 100.0 % 2 / 2 79.8 % 67 / 84

Generated by: LCOV version 1.14