chrjabs
/
rustsat
/
38412935732
64%
|
Ran
|
Jobs
1
|
Files
95
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 63.386% (+0.8%) from 62.599%
push
github
chrjabs15418 of 24324 relevant lines covered (63.39%)
132496.55 hits per line
Coverage Regressions
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 357 |
56.65
|
-1.38% | src/types/constraints.rs |
| 79 |
62.99
|
24.49% | pigeons/src/types.rs |
| 76 |
69.71
|
-0.81% | pigeons/src/ops.rs |
| 64 |
52.74
|
0.0% | src/instances/opt.rs |
| 52 |
90.19
|
14.35% | pigeons/src/lib.rs |
| 27 |
95.82
|
-0.22% | src/encodings/totdb/cert.rs |
| 24 |
88.49
|
-0.59% | src/encodings/pb/gte/mod.rs |
| 19 |
77.62
|
0.09% | src/encodings/card/totalizer/mod.rs |
| 16 |
31.11
|
-1.45% | cadical/src/prooftracer.rs |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 38412935732.1 | 278 |
24.4
|
GitHub Action Run |
