msakai
/
toysolver
/
847
71%
|
Ran
|
Jobs
1
|
Files
124
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 70.988% (+0.3%) from 70.67%
push
github
msakai11373 of 16021 relevant lines covered (70.99%)
0.71 hits per line
Coverage Regressions
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 10 |
65.71
|
-0.48% | src/ToySolver/SAT/PBO.hs |
| 6 |
73.95
|
1.11% | src/ToySolver/SAT/Solver/CDCL.hs |
| 5 |
68.28
|
-2.69% | src/ToySolver/SAT/PBO/BCD2.hs |
| 2 |
43.91
|
0.32% | src/ToySolver/BitVector/Base.hs |
| 2 |
73.32
|
0.34% | src/ToySolver/Converter/PB.hs |
| 1 |
70.37
|
-1.23% | src/ToySolver/Data/LA.hs |
| 1 |
84.38
|
-3.13% | src/ToySolver/SAT/PBO/MSU4.hs |
| 1 |
79.32
|
2.57% | src/ToySolver/SMT.hs |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 847.1 | 124 |
70.99
|
GitHub Action Run |
