9
4%
master: 4%

Ran 18 Jan 2019 11:11AM UTC

Files 637

Run time 37s

Badge

Embed ▾

Committed 18 Jan 2019 10:04AM UTC coverage: 73.632%. Remained the same

Job # TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror"

Build Type

push

travis-ci

Committed by

markuspf

Commit Message

kernel: fix GC crash in PushValue()

The NEW_PLIST call could trigger a GC, which then rendered the value of header
invalid, possibly leading to arbitrary memory corruption, and also the values
pointer of the function body was then not set correctly.

Fixes #3187

Run Details

219785 of 298492 relevant lines covered (73.63%)

538497.49 hits per line

gap-system / gap / 8950 / 9
4%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 8950.9 (TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror")

gap-system / gap / 8950 / 9 4% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 8950.9 (TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror")

gap-system / gap / 8950 / 9
4%
master: 4%

README BADGES
x