3424
61%
main: 61%

Ran 10 Dec 2019 03:36PM CUT

Jobs 4

Files 362

Run time 16min

Badge

Embed ▾

Committed 10 Dec 2019 03:21PM CUT coverage: 70.027% (+0.09%) from 69.939%

Build # 3424

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

48019 of 68572 relevant lines covered (70.03%)

279147.61 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	3424.1	10 Dec 2019 03:36PM CUT	69.71	Travis Job 3424.1
2	3424.2	10 Dec 2019 03:36PM CUT	70.07	Travis Job 3424.2
3	3424.3	10 Dec 2019 03:50PM CUT	69.77	Travis Job 3424.3
4	3424.4	10 Dec 2019 03:52PM CUT	69.86	Travis Job 3424.4

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 3424

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 3424

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

README BADGES
x