msakai / toysolver / 1132
72%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 102
Run time 5s
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
1132

push

travis-ci

msakai 
stack: remove parse-dimacs-1.3 from extra-deps

10783 of 14357 relevant lines covered (75.11%)

1.43 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
100.0
 src/ToySolver/SAT.hs
2
100.0
 src/ToySolver/BitVector/Base.hs
5
100.0
 src/ToySolver/SAT/Types.hs
5
100.0
 src/ToySolver/SMT.hs
7
100.0
 src/ToySolver/SAT/PBO.hs
19
100.0
 src/ToySolver/SAT/PBO/UnsatBased.hs
Jobs
ID Job ID Ran Files Coverage
1 1132.1 (CABALVER=1.18 GHCVER=7.8.4 COVERAGE=1) 0
75.11
 Travis Job 1132.1
Source Files on build 1132
Detailed source file information is not available for this build.