msoos / cryptominisat / 1726
36%

DEFAULT BRANCH: master
Ran
Jobs 2
Files 99
Run time 1246119min
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
1726

Pull #2199

travis-ci

msoos 
A bit of cleanup around python + no python interface in case of COVERAGE
Pull Request #2199:

7646 of 12959 relevant lines covered (59.0%)

833694.58 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
100.0
 src/solverconf.h
13
100.0
 src/simplefile.h
82
100.0
 src/cryptominisat.cpp
Jobs
ID Job ID Ran Files Coverage
9 1726.9 (CMS_CONFIG=NOPYTHON) 0
72.8
 Travis Job 1726.9
14 1726.14 (CMS_CONFIG=COVERAGE) 0
59.0
 Travis Job 1726.14
Source Files on build 1726
Detailed source file information is not available for this build.