msakai
/
toysolver
/
195
71%
master: 70%
master: 70%
|
Ran
|
Jobs
1
|
Files
113
|
Run time
20s
|
Badge
Embed ▾
README BADGES
|
push
github-actions
GitHub
1 of 1 new or added line in 1 file covered. (100.0%)
9816 of 13776 relevant lines covered (71.25%)
0.71 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
64.85 |
0.5% | src/ToySolver/Combinatorial/SubsetSum.hs |
| 1 |
85.84 |
0.0% | src/ToySolver/SAT/Encoder/Tseitin.hs |
| 1 |
97.44 |
2.44% | src/ToySolver/SAT/ExistentialQuantification.hs |
| 2 |
51.78 |
-0.32% | src/ToySolver/BitVector/Base.hs |
| 2 |
88.75 |
-2.5% | src/ToySolver/Converter/NAESAT.hs |
| 2 |
80.37 |
0.0% | src/ToySolver/Text/SDPFile.hs |
| 3 |
89.33 |
-4.0% | src/ToySolver/SAT/Encoder/PB/Internal/Adder.hs |
| 3 |
80.57 |
-1.42% | src/ToySolver/SAT/Types.hs |
| 4 |
79.19 |
-0.23% | src/ToySolver/SMT.hs |
| 6 |
74.36 |
1.86% | src/ToySolver/Data/LA.hs |
| 7 |
58.39 |
-2.55% | src/ToySolver/QBF.hs |
| 8 |
68.52 |
1.25% | src/ToySolver/Arith/VirtualSubstitution.hs |
| 9 |
51.43 |
0.0% | src/ToySolver/SAT/PBO.hs |
| 18 |
30.3 |
-54.55% | src/ToySolver/SAT/PBO/UnsatBased.hs |
| 21 |
63.16 |
1.31% | src/ToySolver/Arith/Cooper/Base.hs |
| 29 |
73.33 |
-0.37% | src/ToySolver/SAT/Solver/CDCL.hs |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 195.1 | 113 |
71.25 |
