13
4%
master: 4%

Ran 20 Sep 2019 12:50PM UTC

Files 650

Run time 40s

Badge

Embed ▾

Committed 20 Sep 2019 11:17AM UTC coverage: 72.934%. Remained the same

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

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

Refactor the 'classical' random number generator

So far, the old random number generator using a single global state in the
global variables `R_N` and `R_X` was still present in the GAP library, and was
used to power the `GlobalRandomSource`. In addition, there was a type
`IsGAPRandomSource` of random sources, which also emulated the way the old RNG
worked.

This PR removes the old RNG, and replaces the `GlobalRandomSource` by one of
type `IsGAPRandomSource`. The undocumented function `RANDOM_LIST` is also
removed (no distributed package uses it). To ensure backwards compatibility,
we provide an implementation of `RANDOM_SEED` which uses `GlobalRandomSource`
(only two packages, `recog` and `gbnp`, call `RANDOM_SEED`, and only in their
package tests). Finally, dummies for `R_N` and `R_X` are retained to help
detect any ancient internal code people might throw at GAP.

Run Details

229060 of 314066 relevant lines covered (72.93%)

727548.1 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x