msakai / toysolver / 495
70%

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.113% (+0.01%) from 71.099%
495

push

github

web-flow 
Merge pull request #106 from msakai/use-prettyprinter-package

Use prettyprinter package if optparse-applicative is >=0.18

9953 of 13996 relevant lines covered (71.11%)

0.71 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
83.69
 -0.71% src/ToySolver/Arith/OmegaTest/Base.hs
1
83.04
 0.0% src/ToySolver/SAT/PBO/Context.hs
1
87.61
 -0.46% src/ToySolver/SAT/Encoder/Tseitin.hs
2
74.15
 1.28% src/ToySolver/SAT/Solver/CDCL.hs
3
80.57
 -1.42% src/ToySolver/SAT/Types.hs
4
79.19
 0.0% src/ToySolver/SMT.hs
6
59.06
 -1.81% src/ToySolver/QBF.hs
15
39.39
 -45.45% src/ToySolver/SAT/PBO/UnsatBased.hs
27
44.76
 -11.43% src/ToySolver/SAT/PBO.hs
30
15.15
 -45.45% src/ToySolver/SAT/PBO/BCD.hs
Jobs
ID Job ID Ran Files Coverage
1 495.1 115
71.11
 GitHub Action Run
Source Files on build 495