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

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)