|
Ran
|
Jobs
1
|
Files
118
|
Run time
1min
|
Badge
README BADGES
|
push
github
14 of 15 new or added lines in 4 files covered. (93.33%)
79 existing lines in 12 files now uncovered.10066 of 14508 relevant lines covered (69.38%)
0.69 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
72.5 |
0.13% | src/ToySolver/SAT/Internal/JSON.hs |
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
45.0 |
1.25% | src/ToySolver/BitVector/Base.hs |
| 1 |
86.84 |
0.0% | src/ToySolver/BitVector/Solver.hs |
| 1 |
88.29 |
0.9% | src/ToySolver/Converter/NAESAT.hs |
| 1 |
86.19 |
-0.55% | src/ToySolver/Combinatorial/BipartiteMatching.hs |
| 1 |
83.04 |
-0.89% | src/ToySolver/SAT/PBO/Context.hs |
| 1 |
87.0 |
0.0% | src/ToySolver/SAT/Encoder/Tseitin.hs |
| 4 |
13.98 |
-2.15% | src/ToySolver/SAT/PBO/BCD2.hs |
| 6 |
76.11 |
-5.31% | src/ToySolver/Converter/SAT2MIS.hs |
| 8 |
59.38 |
-25.0% | src/ToySolver/SAT/PBO/MSU4.hs |
| 9 |
48.1 |
-4.29% | src/ToySolver/SAT/PBO.hs |
| 23 |
72.88 |
-0.86% | src/ToySolver/SAT/Solver/CDCL.hs |
| 23 |
25.76 |
-34.85% | src/ToySolver/SAT/PBO/BCD.hs |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 544.1 | 118 |
69.38 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|