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

2072

push

travis-ci

web-flow 
Merge pull request #475 from ajohnson1/ajohnson1-readme-patch-1

Update readme

8334 of 13107 relevant lines covered (63.58%)

1174891.16 hits per line

Relevant lines Covered
13107 RELEVANT LINES 8334 COVERED LINES
1174891.16 HITS PER LINE
Source Files on clauseID
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
2072 clauseID Merge pull request #475 from ajohnson1/ajohnson1-readme-patch-1 Update readme push web-flow travis-ci pending completion  
See All Builds (969)