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

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)