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
30.77
 -2.56% src/solverconf.h
13
31.58
 31.58% src/simplefile.h
82
68.45
 1.29% src/cryptominisat.cpp
Jobs
ID Job ID Ran Files Coverage
9 1726.9 (CMS_CONFIG=NOPYTHON) 587
72.8
 Travis Job 1726.9
14 1726.14 (CMS_CONFIG=COVERAGE) 99
59.0
 Travis Job 1726.14
Source Files on build 1726
Coverage ∆ File Lines Relevant Covered Missed Hits/Line