chrjabs
/
rustsat
/
23478148650
62%
|
Ran
|
Jobs
1
|
Files
83
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 61.983% (+0.2%) from 61.755%
push
github
chrjabs14196 of 22903 relevant lines covered (61.98%)
142878.07 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 20 |
13.59 |
0.07% | cadical/src/ffi.rs |
| 42 |
92.73 |
0.09% | src/instances/fio/opb.rs |
| 58 |
92.65 |
0.0% | src/instances/fio/dimacs.rs |
| 58 |
45.08 |
0.0% | src/instances.rs |
| 78 |
28.97 |
0.0% | src/instances/multiopt.rs |
| 99 |
84.94 |
0.0% | src/types.rs |
| 174 |
45.73 |
0.0% | src/instances/sat.rs |
| 227 |
0.0 |
-100.0% | ipasir/src/lib.rs |
| 266 |
48.33 |
-0.06% | src/instances/opt.rs |
| 352 |
57.78 |
0.0% | src/types/constraints.rs |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 23478148650.1 | 248 |
23.26 |
GitHub Action Run |
