chrjabs
/
rustsat
/
21951866298
62%
main: 62%
main: 62%
|
Ran
|
Jobs
1
|
Files
85
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 61.8% (+1.0%) from 60.815%
github
web-flow1504 of 1769 new or added lines in 20 files covered. (85.02%)
29 existing lines in 9 files now uncovered.14130 of 22864 relevant lines covered (61.8%)
140895.71 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
57.72 |
0.19% | src/types/constraints.rs |
| 1 |
95.59 |
-1.13% | src/utils.rs |
| 3 |
45.08 |
-0.52% | src/instances.rs |
| 6 |
0.0 |
0.0% | tools/src/bin/check-solution.rs |
| 6 |
91.89 |
-4.93% | tools/src/parsing.rs |
| 7 |
0.0 |
0.0% | tools/src/bin/enumerator.rs |
| 7 |
0.0 |
0.0% | tools/src/bin/mo2ilp.rs |
| 8 |
28.99 |
20.62% | src/instances/multiopt.rs |
| 8 |
0.0 |
0.0% | tools/src/bin/propagator.rs |
| 9 |
47.53 |
3.49% | src/instances/opt.rs |
| 11 |
82.88 |
-7.81% | tools/src/encodings/assignment.rs |
| 16 |
0.0 |
0.0% | tools/src/encodings/cnf/clustering.rs |
| 17 |
83.94 |
-2.8% | src/instances/fio.rs |
| 17 |
83.11 |
-0.91% | src/types.rs |
| 18 |
24.55 |
-0.17% | tools/src/bin/gbmosplit.rs |
| 23 |
92.44 |
11.53% | src/instances/fio/opb.rs |
| 25 |
45.69 |
-0.51% | src/instances/sat.rs |
| 27 |
72.44 |
-3.84% | tools/src/encodings/knapsack.rs |
| 55 |
90.57 |
-2.04% | src/instances/fio/dimacs.rs |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
90.57 |
-2.04% | src/instances/fio/dimacs.rs |
| 1 |
0.0 |
0.0% | tools/src/bin/check-solution.rs |
| 1 |
82.88 |
-7.81% | tools/src/encodings/assignment.rs |
| 1 |
0.0 |
0.0% | tools/src/encodings/cnf/clustering.rs |
| 1 |
72.44 |
-3.84% | tools/src/encodings/knapsack.rs |
| 2 |
92.44 |
11.53% | src/instances/fio/opb.rs |
| 2 |
28.99 |
20.62% | src/instances/multiopt.rs |
| 8 |
45.69 |
-0.51% | src/instances/sat.rs |
| 12 |
47.53 |
3.49% | src/instances/opt.rs |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 21951866298.1 | 269 |
22.37 |
GitHub Action Run |
