LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/ext Hit Total Coverage
Test: coverage.info Lines: 1308 1510 86.6 %
Date: 2024-12-28 12:36:19 Functions: 67 69 97.1 %
Branches: 824 1294 63.7 %

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
95.2%95.2%
 95.2 % 158 / 166 100.0 % 12 / 12 60.1 % 113 / 188
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
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
95.7%95.7%
 95.7 % 400 / 418 100.0 % 12 / 12 74.5 % 246 / 330
proof_checker.cpp
90.5%90.5%
 90.5 % 114 / 126 100.0 % 3 / 3 52.0 % 104 / 200
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 % 75 / 76 100.0 % 2 / 2 79.3 % 65 / 82

Generated by: LCOV version 1.14