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

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)