LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/nl/coverings Hit Total Coverage
Test: coverage.info Lines: 979 1204 81.3 %
Date: 2024-09-10 11:13:36 Functions: 105 124 84.7 %
Branches: 584 988 59.1 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
cdcac.cpp
75.5%75.5%
 75.5 % 292 / 387 82.4 % 28 / 34 51.6 % 160 / 310
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
81.2%81.2%
 81.2 % 13 / 16 83.3 % 5 / 6 - 0 / 0
constraints.cpp
100.0%
 100.0 % 28 / 28 100.0 % 6 / 6 100.0 % 6 / 6
constraints.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
lazard_evaluation.cpp
89.9%89.9%
 89.9 % 285 / 317 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.7%97.7%
 97.7 % 84 / 86 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
59.3%59.3%
 59.3 % 32 / 54 63.6 % 7 / 11 58.3 % 14 / 24

Generated by: LCOV version 1.14