9
85%
master: 4%

Ran 17 Sep 2019 10:39AM UTC

Files 635

Run time 33s

Badge

Embed ▾

Committed 17 Sep 2019 09:10AM UTC coverage: 60.557%. Remained the same

Job # TEST_SUITES=testbugfix CONFIGFLAGS="--enable-memory-checking"

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

direct_factors.tst: fix random fluctuations

Depending on which direct factors among the many possibilities
are chosen, the result of List(DirectFactorsOfGroup(G), IdGroup)
could vary in its ordering. So we sort it to avoid that issue.

Coverage Stats

174335 of 287888 relevant lines covered (60.56%)

2765506.43 hits per line

gap-system / gap / 10645 / 9
85%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10645.9 (TEST_SUITES=testbugfix CONFIGFLAGS="--enable-memory-checking")

gap-system / gap / 10645 / 9 85% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10645.9 (TEST_SUITES=testbugfix CONFIGFLAGS="--enable-memory-checking")

gap-system / gap / 10645 / 9
85%
master: 4%

README BADGES
x