13
4%
master: 4%

Ran 31 Dec 2019 11:20AM UTC

Files 654

Run time 53s

Badge

Embed ▾

Committed 31 Dec 2019 09:49AM UTC coverage: 73.025%. Remained the same

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

Build Type

push

travis-ci

Committed by

ChrisJefferson

Commit Message

kernel: refactor GASMAN globals sorting

- remove sorting mode for globals; only one (by cookie) is supported anyway
- force GASMAN globals to have non-NULL cookie
- use strcmp to compare cookies (works fine as they are non-NULL)

Run Details

229544 of 314336 relevant lines covered (73.03%)

738379.94 hits per line

gap-system / gap / 11212 / 13
4%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

gap-system / gap / 11212 / 13 4% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

gap-system / gap / 11212 / 13
4%
master: 4%

README BADGES
x