msakai
/
toysolver
/
852
71%
master: 71%
master: 71%
|
Ran
|
Jobs
1
|
Files
126
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 70.794% (-0.4%) from 71.152%
web-flowCoverage Regressions
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 64 |
36.56
|
-34.41% | src/ToySolver/SAT/PBO/BCD2.hs |
| 35 |
73.66
|
-0.45% | src/ToySolver/SAT/Solver/CDCL.hs |
| 2 |
44.55
|
0.32% | src/ToySolver/BitVector/Base.hs |
| 2 |
72.82
|
0.0% | src/ToySolver/Converter/PB.hs |
| 2 |
83.93
|
-1.79% | src/ToySolver/SAT/PBO/Context.hs |
| 2 |
64.29
|
-0.95% | src/ToySolver/SAT/PBO.hs |
| 1 |
76.54
|
-0.62% | src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs |
| 1 |
54.55
|
-0.32% | src/ToySolver/EUF/FiniteModelFinder.hs |
| 1 |
63.77
|
5.07% | src/ToySolver/QBF.hs |
| 1 |
87.5
|
-3.13% | src/ToySolver/SAT/PBO/MSU4.hs |
| 1 |
78.86
|
0.0% | src/ToySolver/SMT.hs |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 852.1 | 126 |
70.79
|
GitHub Action Run |
