3
61%
main: 61%

Ran 10 Dec 2019 03:50PM UTC

Files 51

Run time 3s

Badge

Embed ▾

Committed 10 Dec 2019 03:21PM UTC coverage: 69.768% (-0.06%) from 69.824%

Job # 3424.3

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

Fix segmentation fault in vlog.Read (header.Decode) (#1150)

This commit fixes the segmentation fault in header.Decode that
would happen if we tried to read from a file that was mmapped
but didn't actually have any data in it. This commit fixes the
issue by checking the read is within the actual file size.
    
See https://github.com/dgraph-io/badger/pull/1150 for all
the details.

Fixes https://github.com/dgraph-io/badger/issues/1136 and
https://github.com/dgraph-io/badger/issues/1131

Run Details

6831 of 9791 relevant lines covered (69.77%)

71198.44 hits per line

dgraph-io / badger / 3424 / 3
61%
main: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3424.3

dgraph-io / badger / 3424 / 3 61% main: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3424.3

dgraph-io / badger / 3424 / 3
61%
main: 61%

README BADGES
x