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 0.6
branch: SELECT
CHANGE BRANCH
x

55

push

travis-ci

Schaef 
added option serverityLimit which can be set to 0 suppress reachability warnings

11 of 11 new or added lines in 4 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 master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
55 0.6 added option serverityLimit which can be set to 0 suppress reachability warnings push Schaef travis-ci pending completion  
54 devel Merge pull request #13 from SRI-CSL/master Syncing branches again. push web-flow travis-ci pending completion  
52 master added option serverityLimit which can be set to 0 suppress reachability warnings push Schaef travis-ci pending completion  
51 0.5 updated soot and made the runner more robust push Schaef travis-ci pending completion  
50 master updated soot and made the runner more robust push Schaef travis-ci pending completion  
49 0.4 Merge pull request #12 from SRI-CSL/devel added support for simple user provided method stubs push web-flow travis-ci pending completion  
48 master Merge pull request #12 from SRI-CSL/devel added support for simple user provided method stubs push web-flow travis-ci pending completion  
47 master added support for simple user provided method stubs Pull #12 web-flow travis-ci pending completion  
46 devel added support for simple user provided method stubs push martinschaef travis-ci pending completion  
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)