9
4%
master: 4%

Ran 07 Jan 2019 02:41AM UTC

Files 541

Run time 27s

Badge

Embed ▾

Committed 07 Jan 2019 02:02AM UTC coverage: 71.718% (+0.03%) from 71.692%

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

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

Fix IsReduced for KnuthBendixRewritingSystem

`IsReduced` did not work for KnuthBendixRewritingSystems, because it used
`Rules` to obtain the rules of a rewriting system which are stored as
`IsLetterAssocWordRep`, and then tried reducing words using a kernel function
that assumes list access is possible for such words (which it is not).

Use TzRules instead which converts rules to lists of integers.

Run Details

190485 of 265603 relevant lines covered (71.72%)

2.08 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x