SRI-CSL / bixie
61%
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 devel
branch: devel
CHANGE BRANCH
x

54

push

travis-ci

web-flow 
Merge pull request #13 from SRI-CSL/master

Syncing branches again.

49 of 49 new or added lines in 5 files covered. (100.0%)

7617 of 12568 relevant lines covered (60.61%)

0.61 hits per line

Relevant lines Covered
12568 RELEVANT LINES 7617 COVERED LINES
0.61 HITS PER LINE
Source Files on devel
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
54 devel Merge pull request #13 from SRI-CSL/master Syncing branches again. push web-flow travis-ci pending completion  
46 devel added support for simple user provided method stubs push martinschaef travis-ci pending completion  
42 devel Merge pull request #10 from MatthewBennington/jsonOutput Adding JSON report printer push web-flow travis-ci pending completion  
41 devel Addressing findbugs results Pull #10 web-flow travis-ci pending completion  
40 devel added boogie printing support push martinschaef travis-ci pending completion  
37 devel removed gpl2 stuff to make sure that we are actually mit license push martinschaef travis-ci pending completion  
34 devel removed bug found by Heidy push martinschaef travis-ci pending completion  
33 devel well, then lets just not do java7 on travis if it is so slow push martinschaef travis-ci pending completion  
32 devel increase the timeout in the unit tests to prevent travis tests from failing push martinschaef travis-ci pending completion  
31 devel increase the timeout in the unit tests to prevent travis tests from failing push martinschaef travis-ci pending completion  
See All Builds (48)