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
Detailed source file information is not available for this build.

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)