msoos / cryptominisat
53%
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 5.0.1
branch: 5.0.1
CHANGE BRANCH
x

1498

push

travis-ci

msoos 
Bump version in CMakeLists

7721 of 14591 relevant lines covered (52.92%)

161382.82 hits per line

Relevant lines Covered
14591 RELEVANT LINES 7721 COVERED LINES
161382.82 HITS PER LINE
Source Files on 5.0.1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1498 5.0.1 Bump version in CMakeLists push msoos travis-ci pending completion  
1496 5.0.1 Only scalmc has LGPL license now push msoos travis-ci pending completion  
See All Builds (969)