8
4%
master: 4%

Ran 05 Feb 2020 11:01AM UTC

Files 646

Run time 1min

Badge

Embed ▾

Committed 05 Feb 2020 10:22AM UTC coverage: 72.437% (+0.001%) from 72.436%

Job # TEST_SUITES=testmanuals

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

kernel: fix OnSets for pperms producing an empty list

We sometimes ended up producing an "empty plist of length > 0"; that is, on
the GAP level, length 0 was shown thanks to `LenPlistEmpty` being called; but
the actual *stored* length still was 1. As a result, comparing such a broken
"empty" plist again an actual empty plist returned false.

We fix this by always setting the plist length in `OnSetsPPerm`.

Also add an assertion to `LenPlistEmpty` which verifies that the length is 0.

Run Details

216470 of 298841 relevant lines covered (72.44%)

4820163.32 hits per line

gap-system / gap / 11480 / 8
4%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11480.8 (TEST_SUITES=testmanuals)

gap-system / gap / 11480 / 8 4% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11480.8 (TEST_SUITES=testmanuals)

gap-system / gap / 11480 / 8
4%
master: 4%

README BADGES
x