msakai
/
toysolver
/
122
71%
master: 70%
master: 70%
|
Ran
|
Jobs
1
|
Files
113
|
Run time
8s
|
Badge
Embed ▾
README BADGES
|
push
github-actions
Masahiro Sakai
9749 of 13783 relevant lines covered (70.73%)
0.71 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
79.67 |
-0.81% | src/ToySolver/Arith/FourierMotzkin/Base.hs |
| 1 |
87.89 |
-0.26% | src/ToySolver/BitVector/Solver.hs |
| 1 |
63.16 |
-2.63% | src/ToySolver/Converter/SAT2MaxCut.hs |
| 1 |
72.5 |
-1.25% | src/ToySolver/Data/LA.hs |
| 1 |
53.08 |
-0.34% | src/ToySolver/EUF/FiniteModelFinder.hs |
| 1 |
86.3 |
-0.46% | src/ToySolver/SAT/Encoder/Tseitin.hs |
| 3 |
83.04 |
-2.68% | src/ToySolver/SAT/PBO/Context.hs |
| 3 |
80.57 |
-1.42% | src/ToySolver/SAT/Types.hs |
| 5 |
50.49 |
-0.97% | src/ToySolver/BitVector/Base.hs |
| 9 |
59.38 |
-28.13% | src/ToySolver/SAT/PBO/MSU4.hs |
| 13 |
42.42 |
-39.39% | src/ToySolver/SAT/PBO/UnsatBased.hs |
| 25 |
23.88 |
-37.31% | src/ToySolver/SAT/PBO/BCD.hs |
| 30 |
71.84 |
-0.95% | src/ToySolver/SAT/Solver/CDCL.hs |
| 67 |
34.22 |
-35.29% | src/ToySolver/SAT/PBO/BCD2.hs |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 122.1 | 113 |
70.73 |
