msakai / toysolver / 135
71%
master: 71%

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

push

github-actions

Masahiro Sakai 
debug

9763 of 13783 relevant lines covered (70.83%)

0.71 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
51.78
 0.65% src/ToySolver/BitVector/Base.hs
1
64.36
 -0.5% src/ToySolver/Combinatorial/SubsetSum.hs
2
79.31
 0.35% src/ToySolver/SMT.hs
3
83.04
 -2.68% src/ToySolver/SAT/PBO/Context.hs
10
57.66
 -3.65% src/ToySolver/QBF.hs
18
31.25
 -56.25% src/ToySolver/SAT/PBO/MSU4.hs
23
25.76
 -34.85% src/ToySolver/SAT/PBO/BCD.hs
25
73.53
 1.45% src/ToySolver/SAT/Solver/CDCL.hs
96
16.67
 -51.61% src/ToySolver/SAT/PBO/BCD2.hs
Jobs
ID Job ID Ran Files Coverage
1 135.1 113
70.83
Source Files on build 135