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
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

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)