SRI-CSL / bixie
60%
master: 61%

LAST BUILD BRANCH: 0.6
DEFAULT BRANCH: master
Repo Added
Files 179
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 0.3
branch: 0.3
CHANGE BRANCH
x

45

push

travis-ci

web-flow 
Merge pull request #11 from SRI-CSL/devel

Merging back json output and added boogie output flag.

154 of 154 new or added lines in 9 files covered. (100.0%)

7444 of 12386 relevant lines covered (60.1%)

0.6 hits per line

Relevant lines Covered
12386 RELEVANT LINES 7444 COVERED LINES
0.6 HITS PER LINE
Source Files on 0.3
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
45 0.3 Merge pull request #11 from SRI-CSL/devel Merging back json output and added boogie output flag. push web-flow travis-ci pending completion  
See All Builds (48)