8823
4%

Ran 07 Jan 2019 02:25AM UTC

Jobs 6

Files 583

Run time 18min

Badge

Embed ▾

pending completion

Build # 8823

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

237281 of 286401 relevant lines covered (82.85%)

13.11 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	8823.1 (TEST_SUITES="docomp testtravis")	07 Jan 2019 02:30AM UTC	74.45	Travis Job 8823.1
2	8823.2 (TEST_SUITES="docomp testtravis" ABI=32 CONFIGFLAGS="")	07 Jan 2019 02:25AM UTC	74.46	Travis Job 8823.2
3	8823.3 (TEST_SUITES="docomp testtravis" ABI=64 HPCGAP=yes)	07 Jan 2019 02:25AM UTC	74.34	Travis Job 8823.3
7	8823.7 (TEST_SUITES=testmanuals)	07 Jan 2019 02:39AM UTC	72.56	Travis Job 8823.7
8	8823.8 (TEST_SUITES=testbugfix)	07 Jan 2019 02:43AM UTC	60.12	Travis Job 8823.8
9	8823.9 (TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror")	07 Jan 2019 02:41AM UTC	71.72	Travis Job 8823.9

Source Files on build 8823

Detailed source file information is not available for this build.

gap-system / gap / 8823
4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 8823

gap-system / gap / 8823 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 8823

gap-system / gap / 8823
4%

README BADGES
x