chrjabs
/
rustsat
/
21542811514
62%
|
Ran
|
Jobs
1
|
Files
85
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 60.847% (+0.02%) from 60.826%
push
github
chrjabs13530 of 22236 relevant lines covered (60.85%)
132429.32 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 20 |
72.83 |
0.3% | minisat/src/core.rs |
| 21 |
72.56 |
0.3% | glucose/src/core.rs |
| 22 |
74.76 |
0.24% | minisat/src/simp.rs |
| 23 |
74.61 |
0.24% | glucose/src/simp.rs |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 21542811514.1 | 269 |
22.14 |
GitHub Action Run |
