plasma-umass / BLeak / 127 / 2
77%
master: 77%

DEFAULT BRANCH: master
Ran
Files 22
Run time 2s
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
coverage: 77.94% (+0.2%) from 77.747%
127.2

push

travis-ci

jvilk 
Adding navigation time into time log, rudimentary time log processing command.

533 of 788 branches covered (67.64%)

Branch coverage included in aggregate %.

1979 of 2435 relevant lines covered (81.27%)

240501.04 hits per line

Source Files on job 127.2