msakai / toysolver / 172
71%
master: 70%

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

push

github-actions

Masahiro Sakai 
:up: relax bytestring's upper bound to allow bytestring-0.11.*

9773 of 13783 relevant lines covered (70.91%)

0.71 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
83.69
 -0.71% src/ToySolver/Arith/OmegaTest/Base.hs
1
82.76
 -0.69% src/ToySolver/FileFormat/CNF.hs
1
86.3
 0.0% src/ToySolver/SAT/Encoder/Tseitin.hs
1
83.04
 -0.89% src/ToySolver/SAT/PBO/Context.hs
2
58.03
 -0.36% src/ToySolver/QBF.hs
2
79.54
 1.16% src/ToySolver/SMT.hs
7
42.11
 -18.42% src/ToySolver/SAT/PBO/BC.hs
7
73.9
 0.62% src/ToySolver/SAT/Solver/CDCL.hs
10
59.38
 -31.25% src/ToySolver/SAT/PBO/MSU4.hs
26
52.86
 -12.38% src/ToySolver/SAT/PBO.hs
38
16.67
 -20.43% src/ToySolver/SAT/PBO/BCD2.hs
Jobs
ID Job ID Ran Files Coverage
1 172.1 113
70.91
Source Files on build 172