leonardt / hwtypes
72%
master: 81%

LAST BUILD BRANCH: leonardt-patch-1
DEFAULT BRANCH: master
Repo Added
Files 17
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 substitute
branch: substitute
CHANGE BRANCH
x

412

push

travis-ci

rdaly525 
added substitute method for SMT

1883 of 2623 relevant lines covered (71.79%)

0.72 hits per line

Relevant lines Covered
2623 RELEVANT LINES 1883 COVERED LINES
0.72 HITS PER LINE
Source Files on substitute
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
412 substitute added substitute method for SMT push rdaly525 travis-ci pending completion  
413 substitute added substitute method for SMT Pull #94 web-flow travis-ci pending completion  
411 substitute added a substitute method to SMTBit and SMTBitVector Pull #94 web-flow travis-ci pending completion  
410 substitute added a substitute method to SMTBit and SMTBitVector push rdaly525 travis-ci pending completion  
See All Builds (202)