LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/linear Hit Total Coverage
Test: coverage.info Lines: 8727 14285 61.1 %
Date: 2026-02-23 11:51:46 Functions: 1010 1410 71.6 %
Branches: 5314 12189 43.6 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
approx_simplex.cpp
18.3%18.3%
 18.3 % 354 / 1933 26.6 % 21 / 79 14.7 % 187 / 1271
approx_simplex.h
100.0%
 100.0 % 3 / 3 75.0 % 3 / 4 - 0 / 0
arith_static_learner.cpp
92.1%92.1%
 92.1 % 293 / 318 76.9 % 10 / 13 58.8 % 147 / 250
arithvar.cpp
100.0%
 100.0 % 4 / 4 100.0 % 1 / 1 - 0 / 0
attempt_solution_simplex.cpp
47.3%47.3%
 47.3 % 35 / 74 100.0 % 4 / 4 31.2 % 15 / 48
attempt_solution_simplex.h
66.7%66.7%
 66.7 % 4 / 6 50.0 % 1 / 2 - 0 / 0
bound_counts.h
92.7%92.7%
 92.7 % 89 / 96 89.7 % 26 / 29 61.9 % 52 / 84
callbacks.cpp
98.3%98.3%
 98.3 % 119 / 121 96.0 % 24 / 25 49.0 % 100 / 204
callbacks.h
100.0%
 100.0 % 4 / 4 50.0 % 4 / 8 - 0 / 0
congruence_manager.cpp
93.5%93.5%
 93.5 % 417 / 446 93.1 % 27 / 29 50.2 % 218 / 434
congruence_manager.h
100.0%
 100.0 % 2 / 2 100.0 % 1 / 1 - 0 / 0
constraint.cpp
74.6%74.6%
 74.6 % 1140 / 1529 73.0 % 92 / 126 45.2 % 794 / 1757
constraint.h
94.1%94.1%
 94.1 % 95 / 101 92.5 % 37 / 40 37.5 % 33 / 88
cut_log.cpp
11.3%11.3%
 11.3 % 51 / 450 12.8 % 11 / 86 2.4 % 3 / 124
cut_log.h
0.0%
 0.0 % 0 / 2 0.0 % 0 / 1 - 0 / 0
dio_solver.cpp
87.7%87.7%
 87.7 % 458 / 522 88.9 % 32 / 36 51.6 % 284 / 550
dio_solver.h
74.3%74.3%
 74.3 % 26 / 35 75.0 % 9 / 12 33.3 % 10 / 30
dual_simplex.cpp
86.1%86.1%
 86.1 % 99 / 115 100.0 % 4 / 4 56.7 % 93 / 164
dual_simplex.h
100.0%
 100.0 % 6 / 6 100.0 % 2 / 2 - 0 / 0
error_set.cpp
71.1%71.1%
 71.1 % 236 / 332 72.4 % 21 / 29 51.9 % 95 / 183
error_set.h
74.4%74.4%
 74.4 % 67 / 90 86.8 % 33 / 38 38.5 % 20 / 52
fc_simplex.cpp
5.2%5.2%
 5.2 % 25 / 480 8.3 % 2 / 24 0.0 % 0 / 250
fc_simplex.h
0.0%
 0.0 % 0 / 37 0.0 % 0 / 8 0.0 % 0 / 14
infer_bounds.cpp
21.1%21.1%
 21.1 % 32 / 152 30.8 % 12 / 39 6.4 % 3 / 47
infer_bounds.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
linear_equality.cpp
75.6%75.6%
 75.6 % 620 / 820 77.6 % 38 / 49 51.0 % 474 / 930
linear_equality.h
85.1%85.1%
 85.1 % 154 / 181 94.3 % 50 / 53 56.7 % 68 / 120
linear_solver.cpp
95.3%95.3%
 95.3 % 41 / 43 95.7 % 22 / 23 - 0 / 0
matrix.cpp
40.0%40.0%
 40.0 % 2 / 5 33.3 % 1 / 3 - 0 / 0
matrix.h
78.7%78.7%
 78.7 % 351 / 446 88.4 % 76 / 86 47.3 % 139 / 294
normal_form.cpp
72.9%72.9%
 72.9 % 596 / 817 81.2 % 56 / 69 50.9 % 351 / 690
normal_form.h
94.1%94.1%
 94.1 % 364 / 387 94.0 % 126 / 134 54.4 % 185 / 340
partial_model.cpp
84.1%84.1%
 84.1 % 360 / 428 87.7 % 71 / 81 59.8 % 213 / 356
partial_model.h
100.0%
 100.0 % 32 / 32 100.0 % 16 / 16 - 0 / 0
simplex.cpp
66.9%66.9%
 66.9 % 121 / 181 50.0 % 10 / 20 44.5 % 81 / 182
simplex.h
45.5%45.5%
 45.5 % 5 / 11 71.4 % 5 / 7 0.0 % 0 / 2
simplex_update.cpp
44.6%44.6%
 44.6 % 62 / 139 50.0 % 8 / 16 34.3 % 23 / 67
simplex_update.h
85.7%85.7%
 85.7 % 48 / 56 94.4 % 17 / 18 57.1 % 32 / 56
soi_simplex.cpp
56.8%56.8%
 56.8 % 299 / 526 66.7 % 14 / 21 42.1 % 230 / 546
soi_simplex.h
86.7%86.7%
 86.7 % 13 / 15 100.0 % 3 / 3 62.5 % 5 / 8
tableau.cpp
84.5%84.5%
 84.5 % 93 / 110 62.5 % 5 / 8 37.7 % 55 / 146
tableau.h
65.6%65.6%
 65.6 % 21 / 32 69.2 % 9 / 13 16.7 % 2 / 12
tableau_sizes.cpp
50.0%50.0%
 50.0 % 2 / 4 50.0 % 1 / 2 - 0 / 0
tableau_sizes.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
theory_arith_private.cpp
61.8%61.8%
 61.8 % 1958 / 3167 68.2 % 90 / 132 48.5 % 1394 / 2876
theory_arith_private.h
100.0%
 100.0 % 25 / 25 100.0 % 14 / 14 57.1 % 8 / 14

Generated by: LCOV version 1.14