msakai
/
toysolver
/
337
71%
master: 70%
master: 70%
|
Ran
|
Jobs
1
|
Files
115
|
Run time
4s
|
Badge
Embed ▾
README BADGES
|
push
github-actions
Masahiro Sakai
6 of 6 new or added lines in 2 files covered. (100.0%)
9959 of 13996 relevant lines covered (71.16%)
0.71 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
68.89 |
-0.28% | src/ToySolver/Converter/PB.hs |
| 1 |
87.61 |
-0.46% | src/ToySolver/SAT/Encoder/Tseitin.hs |
| 2 |
51.46 |
-0.32% | src/ToySolver/BitVector/Base.hs |
| 2 |
76.04 |
-2.08% | src/ToySolver/Converter/QUBO.hs |
| 2 |
84.85 |
-6.06% | src/ToySolver/SAT/PBO/UnsatBased.hs |
| 2 |
79.08 |
0.92% | src/ToySolver/SMT.hs |
| 3 |
79.67 |
-2.44% | src/ToySolver/Arith/FourierMotzkin/Base.hs |
| 6 |
74.23 |
0.95% | src/ToySolver/SAT/Solver/CDCL.hs |
| 23 |
25.76 |
-34.85% | src/ToySolver/SAT/PBO/BCD.hs |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 337.1 | 115 |
71.16 |
