13
4%
master: 4%

Ran 28 May 2019 10:39AM UTC

Files 649

Run time 40s

Badge

Embed ▾

Committed 28 May 2019 09:54AM UTC coverage: 74.692% (-0.002%) from 74.694%

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

Build Type

push

travis-ci

Committed by

alex-konovalov

Commit Message

Show a warning when GroupWithGenerators called on a group

In GAP <= 4.9, the following undocumented use of GroupWithGenerators
was possible:

    gap> GroupWithGenerators( Group( (1,2) ) );
    Group([ (), (1,2) ])

This does not work in GAP 4.10.0, and #3095 restored this never documented
behavior to avoid regressions in code that used to work previously.

This commit adds a warning when such use of `GroupWithGenerators` is detected.

Run Details

233200 of 312215 relevant lines covered (74.69%)

800536.21 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x