3
4%
master: 4%

Ran 05 Feb 2020 10:47AM UTC

Files 680

Run time 2min

Badge

Embed ▾

Committed 05 Feb 2020 10:22AM UTC coverage: 77.59%. Remained the same

Job # TEST_SUITES="docomp teststandard" ABI=64 HPCGAP=yes

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

250474 of 322817 relevant lines covered (77.59%)

9802981.88 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11480.3 (TEST_SUITES="docomp teststandard" ABI=64 HPCGAP=yes)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11480.3 (TEST_SUITES="docomp teststandard" ABI=64 HPCGAP=yes)

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

README BADGES
x