msakai / toysolver / 523
72%

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: 70.001% (+0.4%) from 69.561%
523

push

github

web-flow 
Merge pull request #124 from msakai/feature/wbo2ipinfo-no-weights

Change WBO2IPInfo not to store weights

9852 of 14074 relevant lines covered (70.0%)

0.7 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
70.37
 -1.23% src/ToySolver/Data/LA.hs
1
84.21
 -2.63% src/ToySolver/SAT/PBO/BC.hs
1
58.14
 -2.33% src/ToySolver/Converter/PB/Internal/LargestIntersectionFinder.hs
1
87.16
 -0.46% src/ToySolver/SAT/Encoder/Tseitin.hs
2
45.63
 0.94% src/ToySolver/BitVector/Base.hs
2
72.84
 0.41% src/ToySolver/SAT/Solver/CDCL.hs
5
78.83
 -0.23% src/ToySolver/SMT.hs
32
16.13
 -17.2% src/ToySolver/SAT/PBO/BCD2.hs
Jobs
ID Job ID Ran Files Coverage
1 523.1 115
70.0
 GitHub Action Run
Source Files on build 523