msakai / toysolver / 137
71%
master: 71%

LAST BUILD BRANCH: HEAD
DEFAULT BRANCH: master
Ran
Jobs 1
Files 113
Run time 21s
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
137

push

github-actions

Masahiro Sakai 
debug

9865 of 13783 relevant lines covered (71.57%)

0.72 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
87.89
 0.0% src/ToySolver/BitVector/Solver.hs
1
83.04
 -0.89% src/ToySolver/SAT/PBO/Context.hs
2
61.27
 -1.16% src/ToySolver/Arith/Cooper/Base.hs
4
74.32
 0.41% src/ToySolver/SAT/Solver/CDCL.hs
6
79.54
 -0.46% src/ToySolver/SMT.hs
9
48.1
 -0.48% src/ToySolver/SAT/PBO.hs
9
59.38
 -28.13% src/ToySolver/SAT/PBO/MSU4.hs
Jobs
ID Job ID Ran Files Coverage
1 137.1 113
71.57
Source Files on build 137