msakai / toysolver / 508 / 3
71%
master: 71%

DEFAULT BRANCH: master
Ran
Files 61
Run time 10s
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: 72.143%. First build
CABALVER=1.18 GHCVER=7.8.3 COVERAGE=1

push

travis-ci

Masahiro Sakai 
clean up ToySolver.SAT internal

5871 of 8138 relevant lines covered (72.14%)

1.36 hits per line

Source Files on job 508.3 (CABALVER=1.18 GHCVER=7.8.3 COVERAGE=1)