msakai / toysolver / 458
72%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 115
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 71.013% (-0.4%) from 71.378%
458

push

github

web-flow 
Merge pull request #111 from msakai/github-actions-use-gh

GitHub Actions: Use gh command instead of hub command

9939 of 13996 relevant lines covered (71.01%)

0.71 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
87.61
 0.0% src/ToySolver/SAT/Encoder/Tseitin.hs
2
51.13
 -0.65% src/ToySolver/BitVector/Base.hs
3
79.88
 0.0% src/ToySolver/SMT.hs
3
80.57
 -1.42% src/ToySolver/SAT/Types.hs
8
61.43
 13.33% src/ToySolver/SAT/PBO.hs
8
58.7
 -2.9% src/ToySolver/QBF.hs
15
39.39
 -45.45% src/ToySolver/SAT/PBO/UnsatBased.hs
23
25.76
 -34.85% src/ToySolver/SAT/PBO/BCD.hs
27
72.91
 -0.12% src/ToySolver/SAT/Solver/CDCL.hs
42
14.52
 -22.58% src/ToySolver/SAT/PBO/BCD2.hs
Jobs
ID Job ID Ran Files Coverage
1 458.1 115
71.01
 GitHub Action Run
Source Files on build 458