LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/linear Hit Total Coverage
Test: coverage.info Lines: 10997 14501 75.8 %
Date: 2026-08-30 10:29:27 Functions: 1174 1417 82.9 %
Branches: 6524 13336 48.9 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
approx_simplex.cpp
72.5%72.5%
 72.5 % 1437 / 1981 87.3 % 69 / 79 44.7 % 731 / 1637
approx_simplex.h
100.0%
 100.0 % 3 / 3 75.0 % 3 / 4 - 0 / 0
arith_static_learner.cpp
92.2%92.2%
 92.2 % 295 / 320 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.5%47.5%
 47.5 % 38 / 80 100.0 % 4 / 4 27.8 % 15 / 54
attempt_solution_simplex.h
66.7%66.7%
 66.7 % 4 / 6 50.0 % 1 / 2 - 0 / 0
bound_counts.h
92.9%92.9%
 92.9 % 92 / 99 89.7 % 26 / 29 61.9 % 52 / 84
callbacks.cpp
98.2%98.2%
 98.2 % 107 / 109 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
81.8%81.8%
 81.8 % 422 / 516 90.3 % 28 / 31 47.4 % 217 / 458
congruence_manager.h
100.0%
 100.0 % 2 / 2 100.0 % 1 / 1 - 0 / 0
constraint.cpp
79.0%79.0%
 79.0 % 1238 / 1567 81.0 % 102 / 126 46.2 % 864 / 1869
constraint.h
97.6%97.6%
 97.6 % 80 / 82 95.0 % 38 / 40 43.2 % 38 / 88
cut_log.cpp
72.5%72.5%
 72.5 % 300 / 414 80.2 % 69 / 86 41.1 % 97 / 236
cut_log.h
100.0%
 100.0 % 1 / 1 100.0 % 1 / 1 - 0 / 0
dio_solver.cpp
86.8%86.8%
 86.8 % 472 / 544 89.7 % 35 / 39 51.3 % 282 / 550
dio_solver.h
76.3%76.3%
 76.3 % 29 / 38 75.0 % 9 / 12 33.3 % 10 / 30
dual_simplex.cpp
91.2%91.2%
 91.2 % 103 / 113 100.0 % 4 / 4 59.3 % 96 / 162
dual_simplex.h
100.0%
 100.0 % 6 / 6 100.0 % 2 / 2 - 0 / 0
error_set.cpp
71.2%71.2%
 71.2 % 237 / 333 72.4 % 21 / 29 51.9 % 95 / 183
error_set.h
73.1%73.1%
 73.1 % 57 / 78 86.8 % 33 / 38 38.5 % 20 / 52
fc_simplex.cpp
5.0%5.0%
 5.0 % 25 / 498 8.3 % 2 / 24 0.0 % 0 / 256
fc_simplex.h
0.0%
 0.0 % 0 / 38 0.0 % 0 / 8 0.0 % 0 / 14
infer_bounds.cpp
20.6%20.6%
 20.6 % 29 / 141 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
76.8%76.8%
 76.8 % 636 / 828 79.6 % 39 / 49 52.2 % 490 / 938
linear_equality.h
86.4%86.4%
 86.4 % 159 / 184 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
93.0%93.0%
 93.0 % 387 / 416 94.2 % 81 / 86 50.0 % 174 / 348
normal_form.cpp
72.9%72.9%
 72.9 % 604 / 829 81.2 % 56 / 69 51.2 % 352 / 687
normal_form.h
93.6%93.6%
 93.6 % 339 / 362 94.0 % 126 / 134 54.3 % 191 / 352
partial_model.cpp
87.0%87.0%
 87.0 % 360 / 414 90.1 % 73 / 81 59.9 % 217 / 362
partial_model.h
100.0%
 100.0 % 32 / 32 100.0 % 16 / 16 - 0 / 0
simplex.cpp
86.9%86.9%
 86.9 % 166 / 191 80.0 % 16 / 20 48.4 % 88 / 182
simplex.h
100.0%
 100.0 % 11 / 11 100.0 % 7 / 7 100.0 % 2 / 2
simplex_update.cpp
49.2%49.2%
 49.2 % 63 / 128 50.0 % 8 / 16 34.3 % 23 / 67
simplex_update.h
86.3%86.3%
 86.3 % 44 / 51 94.4 % 17 / 18 57.1 % 32 / 56
soi_simplex.cpp
74.7%74.7%
 74.7 % 425 / 569 71.4 % 15 / 21 47.5 % 289 / 608
soi_simplex.h
81.2%81.2%
 81.2 % 13 / 16 100.0 % 3 / 3 37.5 % 3 / 8
tableau.cpp
83.3%83.3%
 83.3 % 95 / 114 62.5 % 5 / 8 37.7 % 55 / 146
tableau.h
65.4%65.4%
 65.4 % 17 / 26 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
79.1%79.1%
 79.1 % 2591 / 3275 85.8 % 115 / 134 54.1 % 1763 / 3260
theory_arith_private.h
100.0%
 100.0 % 24 / 24 100.0 % 14 / 14 57.1 % 8 / 14

Generated by: LCOV version 1.14