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

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)