msoos / cryptominisat / 1152
36%

DEFAULT BRANCH: master
Ran
Jobs 3
Files 105
Run time 1004284min
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
1152

push

travis-ci

msoos 
Adding newline at the end of file

7452 of 14517 relevant lines covered (51.33%)

392.16 hits per line

Jobs
ID Job ID Ran Files Coverage
10 1152.10 (CMS_CONFIG=MYSQL) 74
42.8
 Travis Job 1152.10
11 1152.11 (CMS_CONFIG=SQLITE) 74
42.8
 Travis Job 1152.11
15 1152.15 (CMS_CONFIG=COVERAGE) 105
51.33
 Travis Job 1152.15
Source Files on build 1152
Coverage ∆ File Lines Relevant Covered Missed Hits/Line