LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/ext Hit Total Coverage
Test: coverage.info Lines: 1334 1534 87.0 %
Date: 2025-01-09 12:37:31 Functions: 67 69 97.1 %
Branches: 839 1324 63.4 %

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
96.8%96.8%
 96.8 % 184 / 190 100.0 % 12 / 12 58.7 % 128 / 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
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