LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/linear Hit Total Coverage
Test: coverage.info Lines: 8756 14384 60.9 %
Date: 2026-04-29 10:45:04 Functions: 1014 1414 71.7 %
Branches: 5319 12225 43.5 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
approx_simplex.cpp
18.9%18.9%
 18.9 % 375 / 1981 26.6 % 21 / 79 14.7 % 187 / 1273
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 % 294 / 319 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
93.8%93.8%
 93.8 % 422 / 450 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.2%74.2%
 74.2 % 1156 / 1559 73.0 % 92 / 126 45.1 % 794 / 1759
constraint.h
93.9%93.9%
 93.9 % 77 / 82 92.5 % 37 / 40 37.5 % 33 / 88
cut_log.cpp
11.1%11.1%
 11.1 % 46 / 414 12.8 % 11 / 86 2.4 % 3 / 124
cut_log.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 1 - 0 / 0
dio_solver.cpp
86.8%86.8%
 86.8 % 472 / 544 89.7 % 35 / 39 51.6 % 284 / 550
dio_solver.h
76.3%76.3%
 76.3 % 29 / 38 75.0 % 9 / 12 33.3 % 10 / 30
dual_simplex.cpp
87.7%87.7%
 87.7 % 100 / 114 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.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
75.1%75.1%
 75.1 % 622 / 828 77.6 % 38 / 49 51.2 % 474 / 926
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
77.2%77.2%
 77.2 % 321 / 416 88.4 % 76 / 86 47.3 % 139 / 294
normal_form.cpp
73.1%73.1%
 73.1 % 607 / 830 81.2 % 56 / 69 50.9 % 353 / 694
normal_form.h
93.6%93.6%
 93.6 % 339 / 362 94.0 % 126 / 134 54.3 % 191 / 352
partial_model.cpp
84.8%84.8%
 84.8 % 351 / 414 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
67.0%67.0%
 67.0 % 128 / 191 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
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
55.9%55.9%
 55.9 % 318 / 569 66.7 % 14 / 21 41.8 % 229 / 548
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
61.7%61.7%
 61.7 % 1993 / 3231 68.4 % 91 / 133 48.4 % 1394 / 2882
theory_arith_private.h
100.0%
 100.0 % 24 / 24 100.0 % 14 / 14 57.1 % 8 / 14

Generated by: LCOV version 1.14