LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/coverings Hit Total Coverage
Test: coverage.info Lines: 1053 1321 79.7 %
Date: 2026-03-07 11:40:47 Functions: 107 128 83.6 %
Branches: 603 1020 59.1 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cdcac.cpp
72.3%72.3%
 72.3 % 316 / 437 77.8 % 28 / 36 52.5 % 169 / 322
cdcac.h
100.0%
 100.0 % 2 / 2 100.0 % 2 / 2 - 0 / 0
cdcac_utils.cpp
64.0%64.0%
 64.0 % 130 / 203 61.5 % 8 / 13 63.8 % 134 / 210
cocoa_converter.cpp
98.4%98.4%
 98.4 % 62 / 63 100.0 % 4 / 4 87.5 % 21 / 24
cocoa_converter.h
85.7%85.7%
 85.7 % 18 / 21 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
88.9%88.9%
 88.9 % 312 / 351 95.2 % 20 / 21 54.1 % 185 / 342
projections.cpp
97.8%97.8%
 97.8 % 45 / 46 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
66.7%66.7%
 66.7 % 4 / 6 66.7 % 2 / 3 - 0 / 0
proof_generator.cpp
97.8%97.8%
 97.8 % 88 / 90 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
56.7%56.7%
 56.7 % 34 / 60 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