LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/linear Hit Total Coverage
Test: coverage.info Lines: 8196 13565 60.4 %
Date: 2026-01-27 12:22:57 Functions: 1010 1410 71.6 %
Branches: 5092 11790 43.2 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage Branches Sort by branch coverage
approx_simplex.cpp
18.2%18.2%
 18.2 % 339 / 1867 26.6 % 21 / 79 15.2 % 185 / 1221
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 % 279 / 303 76.9 % 10 / 13 59.3 % 131 / 221
arithvar.cpp
100.0%
 100.0 % 3 / 3 100.0 % 1 / 1 - 0 / 0
attempt_solution_simplex.cpp
46.6%46.6%
 46.6 % 34 / 73 100.0 % 4 / 4 31.2 % 15 / 48
attempt_solution_simplex.h
80.0%80.0%
 80.0 % 4 / 5 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 % 113 / 115 96.0 % 24 / 25 47.5 % 76 / 160
callbacks.h
100.0%
 100.0 % 4 / 4 50.0 % 4 / 8 - 0 / 0
congruence_manager.cpp
92.8%92.8%
 92.8 % 389 / 419 93.1 % 27 / 29 49.3 % 209 / 424
congruence_manager.h
100.0%
 100.0 % 2 / 2 100.0 % 1 / 1 - 0 / 0
constraint.cpp
74.0%74.0%
 74.0 % 1081 / 1461 73.0 % 92 / 126 45.0 % 773 / 1717
constraint.h
94.1%94.1%
 94.1 % 95 / 101 92.5 % 37 / 40 37.5 % 33 / 88
cut_log.cpp
9.2%9.2%
 9.2 % 37 / 404 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
85.6%85.6%
 85.6 % 416 / 486 88.9 % 32 / 36 48.4 % 250 / 516
dio_solver.h
74.3%74.3%
 74.3 % 26 / 35 75.0 % 9 / 12 33.3 % 10 / 30
dual_simplex.cpp
85.8%85.8%
 85.8 % 97 / 113 100.0 % 4 / 4 56.9 % 91 / 160
dual_simplex.h
100.0%
 100.0 % 6 / 6 100.0 % 2 / 2 - 0 / 0
error_set.cpp
69.1%69.1%
 69.1 % 212 / 307 72.4 % 21 / 29 51.9 % 94 / 181
error_set.h
74.4%74.4%
 74.4 % 67 / 90 86.8 % 33 / 38 38.5 % 20 / 52
fc_simplex.cpp
3.7%3.7%
 3.7 % 17 / 464 8.3 % 2 / 24 0.0 % 0 / 248
fc_simplex.h
0.0%
 0.0 % 0 / 37 0.0 % 0 / 8 0.0 % 0 / 16
infer_bounds.cpp
23.7%23.7%
 23.7 % 32 / 135 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.4%75.4%
 75.4 % 592 / 785 77.6 % 38 / 49 50.0 % 452 / 904
linear_equality.h
85.1%85.1%
 85.1 % 154 / 181 94.3 % 50 / 53 56.8 % 67 / 118
linear_solver.cpp
95.3%95.3%
 95.3 % 41 / 43 95.7 % 22 / 23 - 0 / 0
matrix.cpp
33.3%33.3%
 33.3 % 1 / 3 33.3 % 1 / 3 - 0 / 0
matrix.h
79.0%79.0%
 79.0 % 332 / 420 88.4 % 76 / 86 47.3 % 139 / 294
normal_form.cpp
73.1%73.1%
 73.1 % 541 / 740 81.2 % 56 / 69 50.6 % 335 / 662
normal_form.h
93.9%93.9%
 93.9 % 356 / 379 94.0 % 126 / 134 52.5 % 170 / 324
partial_model.cpp
83.0%83.0%
 83.0 % 337 / 406 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
64.6%64.6%
 64.6 % 106 / 164 50.0 % 10 / 20 44.4 % 80 / 180
simplex.h
45.5%45.5%
 45.5 % 5 / 11 71.4 % 5 / 7 0.0 % 0 / 2
simplex_update.cpp
33.3%33.3%
 33.3 % 39 / 117 50.0 % 8 / 16 32.8 % 20 / 61
simplex_update.h
85.7%85.7%
 85.7 % 48 / 56 94.4 % 17 / 18 57.4 % 31 / 54
soi_simplex.cpp
56.1%56.1%
 56.1 % 288 / 513 66.7 % 14 / 21 41.9 % 228 / 544
soi_simplex.h
86.7%86.7%
 86.7 % 13 / 15 100.0 % 3 / 3 62.5 % 5 / 8
tableau.cpp
83.3%83.3%
 83.3 % 90 / 108 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
60.9%60.9%
 60.9 % 1827 / 2998 68.2 % 90 / 132 48.4 % 1342 / 2774
theory_arith_private.h
100.0%
 100.0 % 25 / 25 100.0 % 14 / 14 57.1 % 8 / 14

Generated by: LCOV version 1.14