9
4%
master: 4%

Ran 05 Feb 2020 10:56AM UTC

Files 638

Run time 1min

Badge

Embed ▾

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

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

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

177145 of 289334 relevant lines covered (61.23%)

2503180.46 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x