msakai / toysolver / 507
71%
master: 72%

LAST BUILD BRANCH: HEAD
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: 69.418% (-0.4%) from 69.86%
507

push

github

web-flow 
Merge 93a165bb3 into 5f69a541c

1 of 1 new or added line in 1 file covered. (100.0%)

129 existing lines in 12 files now uncovered.

9781 of 14090 relevant lines covered (69.42%)

0.69 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
72.73
 -3.03% src/ToySolver/SAT/Store/PB.hs
2
78.6
 0.46% src/ToySolver/SMT.hs
2
52.38
 8.1% src/ToySolver/SAT/PBO.hs
2
78.86
 -1.63% src/ToySolver/Arith/FourierMotzkin/Base.hs
2
45.31
 0.0% src/ToySolver/BitVector/Base.hs
2
86.7
 -0.92% src/ToySolver/SAT/Encoder/Tseitin.hs
2
76.04
 -2.08% src/ToySolver/Converter/QUBO.hs
3
82.14
 -2.68% src/ToySolver/SAT/PBO/Context.hs
3
68.06
 -0.83% src/ToySolver/Converter/PB.hs
7
42.11
 -18.42% src/ToySolver/SAT/PBO/BC.hs
34
71.45
 -0.08% src/ToySolver/SAT/Solver/CDCL.hs
69
33.33
 -37.1% src/ToySolver/SAT/PBO/BCD2.hs
Jobs
ID Job ID Ran Files Coverage
1 507.1 115
69.42
 GitHub Action Run
Source Files on build 507