SRI-CSL / sally
64%
master: 36%

LAST BUILD BRANCH: nra
DEFAULT BRANCH: master
Repo Added
Files 1902
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 fmcad2016
branch: fmcad2016
CHANGE BRANCH
x

207

push

travis-ci

dddejan 
more reasonable heuristic: combine depth and score

8203 of 12869 relevant lines covered (63.74%)

15338.2 hits per line

Relevant lines Covered
12869 RELEVANT LINES 8203 COVERED LINES
15338.2 HITS PER LINE
Source Files on fmcad2016
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
207 fmcad2016 more reasonable heuristic: combine depth and score push dddejan travis-ci pending completion  
See All Builds (587)