LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/ext Hit Total Coverage
Test: coverage.info Lines: 1080 1269 85.1 %
Date: 2024-10-06 11:37:27 Functions: 54 56 96.4 %
Branches: 662 1036 63.9 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
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 % 44 / 44 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
94.7%94.7%
 94.7 % 160 / 169 100.0 % 19 / 19 64.8 % 83 / 128
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.8%95.8%
 95.8 % 369 / 385 100.0 % 11 / 11 74.4 % 232 / 312
proof_checker.cpp
92.8%92.8%
 92.8 % 77 / 83 100.0 % 3 / 3 46.7 % 71 / 152
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 78.6 % 66 / 84

Generated by: LCOV version 1.14