msakai / toysolver / 1002
72%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 90
Run time 4s
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
1002

push

travis-ci

msakai 
specify '-rtsopts' compile option for all executables

9587 of 13042 relevant lines covered (73.51%)

1.4 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
100.0
 src/ToySolver/Data/LA.hs
1
100.0
 src/ToySolver/Converter/WBO2PB.hs
6
100.0
 src/ToySolver/SAT/PBO/BC.hs
8
100.0
 src/ToySolver/SAT/PBO.hs
10
100.0
 src/ToySolver/SAT/PBO/MSU4.hs
10
100.0
 src/ToySolver/SAT.hs
35
100.0
 src/ToySolver/SAT/PBO/BCD2.hs
59
100.0
 src/ToySolver/EUF/FiniteModelFinder.hs
Jobs
ID Job ID Ran Files Coverage
2 1002.2 (CABALVER=1.18 GHCVER=7.8.3 COVERAGE=1) 0
73.51
 Travis Job 1002.2
Source Files on build 1002
Detailed source file information is not available for this build.