msakai
/
toysolver
/
29
71%
master: 70%
master: 70%
|
Ran
|
Jobs
1
|
Files
113
|
Run time
7s
|
Badge
Embed ▾
README BADGES
|
push
github-actions
Masahiro Sakai
27 of 27 new or added lines in 1 file covered. (100.0%)
9816 of 13766 relevant lines covered (71.31%)
0.71 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 5 |
60.84 |
0.0% | src/ToySolver/Graph/ShortestPath.hs |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
51.78 |
1.62% | src/ToySolver/BitVector/Base.hs |
| 1 |
87.89 |
0.26% | src/ToySolver/BitVector/Solver.hs |
| 1 |
64.36 |
-0.5% | src/ToySolver/Combinatorial/SubsetSum.hs |
| 1 |
62.79 |
-2.33% | src/ToySolver/Converter/PB/Internal/LargestIntersectionFinder.hs |
| 1 |
83.04 |
-0.89% | src/ToySolver/SAT/PBO/Context.hs |
| 2 |
78.86 |
-0.81% | src/ToySolver/Arith/FourierMotzkin/Base.hs |
| 6 |
73.91 |
0.63% | src/ToySolver/SAT/Solver/CDCL.hs |
| 9 |
59.38 |
-28.13% | src/ToySolver/SAT/PBO/MSU4.hs |
| 13 |
77.92 |
-1.27% | src/ToySolver/SMT.hs |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 29.1 | 113 |
71.31 |
