LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/coverings Hit Total Coverage
Test: coverage.info Lines: 997 1241 80.3 %
Date: 2026-01-27 12:22:57 Functions: 107 128 83.6 %
Branches: 586 990 59.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cdcac.cpp
72.9%72.9%
 72.9 % 298 / 409 77.8 % 28 / 36 51.9 % 162 / 312
cdcac.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
cdcac_utils.cpp
65.2%65.2%
 65.2 % 129 / 198 61.5 % 8 / 13 64.1 % 132 / 206
cocoa_converter.cpp
100.0%
 100.0 % 55 / 55 100.0 % 4 / 4 87.5 % 21 / 24
cocoa_converter.h
85.0%85.0%
 85.0 % 17 / 20 87.5 % 7 / 8 - 0 / 0
constraints.cpp
100.0%
 100.0 % 28 / 28 100.0 % 6 / 6 100.0 % 6 / 6
constraints.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
lazard_evaluation.cpp
89.6%89.6%
 89.6 % 293 / 327 95.2 % 20 / 21 54.3 % 177 / 326
projections.cpp
100.0%
 100.0 % 42 / 42 100.0 % 7 / 7 85.7 % 24 / 28
projections.h
100.0%
 100.0 % 5 / 5 100.0 % 2 / 2 100.0 % 2 / 2
proof_checker.cpp
71.4%71.4%
 71.4 % 5 / 7 66.7 % 2 / 3 - 0 / 0
proof_generator.cpp
97.6%97.6%
 97.6 % 83 / 85 91.7 % 11 / 12 76.8 % 43 / 56
proof_generator.h
100.0%
 100.0 % 6 / 6 100.0 % 2 / 2 83.3 % 5 / 6
variable_ordering.cpp
57.4%57.4%
 57.4 % 31 / 54 55.6 % 5 / 9 58.3 % 14 / 24
variable_ordering.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0

Generated by: LCOV version 1.14