msakai / toysolver / 134
71%
master: 71%

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

push

github-actions

Masahiro Sakai 
debug

9819 of 13783 relevant lines covered (71.24%)

0.71 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
79.67
 -0.81% src/ToySolver/Arith/FourierMotzkin/Base.hs
1
72.5
 -1.25% src/ToySolver/Data/LA.hs
1
75.86
 -3.45% src/ToySolver/SAT/Store/PB.hs
2
69.27
 -0.56% src/ToySolver/Converter/PB.hs
2
85.39
 -0.91% src/ToySolver/SAT/Encoder/Tseitin.hs
2
68.28
 -1.08% src/ToySolver/SAT/PBO/BCD2.hs
3
51.13
 0.32% src/ToySolver/BitVector/Base.hs
4
78.96
 -0.35% src/ToySolver/SMT.hs
7
61.31
 -2.55% src/ToySolver/QBF.hs
7
42.11
 -18.42% src/ToySolver/SAT/PBO/BC.hs
8
44.29
 -3.81% src/ToySolver/SAT/PBO.hs
67
72.08
 -2.73% src/ToySolver/SAT/Solver/CDCL.hs
Jobs
ID Job ID Ran Files Coverage
1 134.1 113
71.24
Source Files on build 134