LCOV - code coverage report
Current view: top level - /buildbot/coverage/build/src/theory/arith/linear Hit Total Coverage
Test: coverage.info Lines: 8020 13395 59.9 %
Date: 2024-08-29 11:49:29 Functions: 1009 1409 71.6 %
Branches: 5018 11646 43.1 %

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
87.9%87.9%
 87.9 % 131 / 149 88.9 % 8 / 9 57.1 % 76 / 133
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 % 114 / 116 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.4%92.4%
 92.4 % 352 / 381 93.1 % 27 / 29 47.6 % 180 / 378
congruence_manager.h
100.0%
 100.0 % 2 / 2 100.0 % 1 / 1 - 0 / 0
constraint.cpp
74.2%74.2%
 74.2 % 1096 / 1477 73.0 % 92 / 126 45.1 % 775 / 1719
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 % 417 / 487 88.9 % 32 / 36 48.8 % 250 / 512
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
71.3%71.3%
 71.3 % 552 / 774 76.7 % 56 / 73 51.3 % 351 / 684
normal_form.h
94.4%94.4%
 94.4 % 352 / 373 95.5 % 128 / 134 54.0 % 177 / 328
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.2%64.2%
 64.2 % 104 / 162 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
61.0%61.0%
 61.0 % 1815 / 2977 68.2 % 90 / 132 48.4 % 1327 / 2740
theory_arith_private.h
100.0%
 100.0 % 24 / 24 100.0 % 13 / 13 57.1 % 8 / 14

Generated by: LCOV version 1.14