SRI-CSL / bixie
61%

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

52

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%)

7616 of 12568 relevant lines covered (60.6%)

0.61 hits per line

Relevant lines Covered
12568 RELEVANT LINES 7616 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
52 master added option serverityLimit which can be set to 0 suppress reachability warnings push Schaef travis-ci pending completion  
50 master updated soot and made the runner more robust push Schaef 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  
44 master Merge pull request #11 from SRI-CSL/devel Merging back json output and added boogie output flag. push web-flow travis-ci pending completion  
43 master Merge pull request #10 from MatthewBennington/jsonOutput Adding JSON report printer Pull #11 web-flow travis-ci pending completion  
39 master Merge pull request #9 from SRI-CSL/devel removed gpl2 stuff to make sure that we are actually mit license push web-flow travis-ci pending completion  
36 master Merge pull request #8 from SRI-CSL/devel Devel push web-flow travis-ci pending completion  
35 master removed bug found by Heidy Pull #8 web-flow travis-ci pending completion  
24 master Merge branch 'devel' push martinschaef travis-ci pending completion  
See All Builds (48)