msakai / toysolver / 702
72%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 70
Run time 2s
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
702

push

travis-ci

msakai 
update Tested-With section in toysolver.cabal

7040 of 9901 relevant lines covered (71.1%)

1.34 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
7
100.0
 src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs
10
100.0
 src/ToySolver/SAT/PBO/MSU4.hs
40
100.0
 src/ToySolver/Arith/Simplex2.hs
295
100.0
 src/ToySolver/SAT.hs
Jobs
ID Job ID Ran Files Coverage
2 702.2 (CABALVER=1.18 GHCVER=7.8.3 COVERAGE=1) 0
71.1
 Travis Job 702.2
Source Files on build 702
Detailed source file information is not available for this build.