LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/ext Hit Total Coverage
Test: coverage.info Lines: 1537 1760 87.3 %
Date: 2026-02-05 12:22:59 Functions: 75 77 97.4 %
Branches: 973 1523 63.9 %

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
94.0%94.0%
 94.0 % 189 / 201 100.0 % 12 / 12 60.1 % 131 / 218
constraint.cpp
96.4%96.4%
 96.4 % 53 / 55 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 % 43 / 43 100.0 % 4 / 4 70.8 % 17 / 24
factoring_check.cpp
99.1%99.1%
 99.1 % 113 / 114 100.0 % 3 / 3 84.6 % 66 / 78
flatten_monomial_check.cpp
93.8%93.8%
 93.8 % 182 / 194 100.0 % 8 / 8 65.3 % 111 / 170
monomial.cpp
96.4%96.4%
 96.4 % 163 / 169 100.0 % 19 / 19 64.2 % 86 / 134
monomial.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
monomial_bounds_check.cpp
53.2%53.2%
 53.2 % 173 / 325 66.7 % 4 / 6 44.2 % 91 / 206
monomial_check.cpp
94.9%94.9%
 94.9 % 410 / 432 100.0 % 12 / 12 74.0 % 259 / 350
proof_checker.cpp
90.2%90.2%
 90.2 % 119 / 132 100.0 % 3 / 3 53.1 % 111 / 209
split_zero_check.cpp
87.5%87.5%
 87.5 % 14 / 16 100.0 % 2 / 2 75.0 % 6 / 8
tangent_plane_check.cpp
98.7%98.7%
 98.7 % 76 / 77 100.0 % 2 / 2 79.3 % 65 / 82

Generated by: LCOV version 1.14