chrjabs
/
rustsat
/
33614143769
62%
|
Ran
|
Jobs
1
|
Files
93
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 61.891% (-0.3%) from 62.179%
push
github
web-flow136 of 249 new or added lines in 23 files covered. (54.62%)
19 existing lines in 3 files now uncovered.14600 of 23590 relevant lines covered (61.89%)
138124.39 hits per line
Uncovered Changes
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 23 |
0.0 |
0.0% | cadical/src/ffi/prooftracer.rs |
| 18 |
0.0 |
0.0% | capi/src/encodings/am1.rs |
| 17 |
0.0 |
0.0% | capi/src/encodings/pb.rs |
| 15 |
52.51 |
-0.19% | src/instances/opt.rs |
| 7 |
0.0 |
0.0% | capi/src/encodings/card.rs |
| 6 |
0.0 |
0.0% | tools/src/encodings/cnf/clustering.rs |
| 5 |
0.0 |
0.0% | capi/src/encodings/dpw.rs |
| 5 |
0.0 |
0.0% | capi/src/encodings/gte.rs |
| 5 |
0.0 |
0.0% | capi/src/encodings/tot.rs |
| 5 |
0.0 |
0.0% | ipasir/src/ffi.rs |
| 3 |
94.13 |
0.14% | src/encodings/totdb/cert.rs |
| 2 |
64.33 |
-0.62% | cadical/src/lib.rs |
| 1 |
0.0 |
0.0% | ipasir/src/lib.rs |
| 1 |
73.05 |
0.0% | src/solvers/simulators.rs |
Coverage Regressions
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 12 |
42.21 |
-2.31% | src/instances/sat.rs |
| 6 |
20.96 |
-3.59% | src/types/operators.rs |
| 1 |
94.13 |
0.14% | src/encodings/totdb/cert.rs |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 33614143769.1 | 266 |
22.76 |
GitHub Action Run |
