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

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)