msoos / cryptominisat
61%
master: 36%

LAST BUILD BRANCH: HEAD
DEFAULT BRANCH: master
Repo Added
Files 588
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

LAST BUILD ON BRANCH satrace15
branch: satrace15
CHANGE BRANCH
x

819

push

travis-ci

msoos 
Updating makefile for SAT Race

7788 of 12860 relevant lines covered (60.56%)

2006217.29 hits per line

Relevant lines Covered
12860 RELEVANT LINES 7788 COVERED LINES
2006217.29 HITS PER LINE
Source Files on satrace15
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
819 satrace15 Updating makefile for SAT Race push msoos travis-ci pending completion  
818 satrace15 Build script update push msoos travis-ci pending completion  
817 satrace15 Fixing M4RI include dir suffixes push msoos travis-ci pending completion  
816 satrace15 Fixing M4RI detection when not installed push msoos travis-ci pending completion  
815 satrace15 Adding hackish scripts for SAT Race 2015 push msoos travis-ci pending completion  
See All Builds (969)