8
4%
master: 4%

Ran 05 Jan 2020 01:07PM UTC

Files 645

Run time 525min

Badge

Embed ▾

Committed 05 Jan 2020 12:00PM UTC coverage: 71.881% (+0.001%) from 71.88%

Job # TEST_SUITES=testmanuals

Build Type

push

travis-ci

Committed by

ChrisJefferson

Commit Message

Make the assertion level thread local

... by moving CurrentAssertionLevel to the kernel, into the GAPState.

While at it, also validate the level argument given to Assert(), and error out
if it is not a non-negative small integer.

While no code should have ever directly accessed CurrentAssertionLevel, there
is a minimal chance that some legacy code somewhere does this. To make sure it
suddenly runs with an incorrect assertion level without anybody noticing, we
keep defining CurrentAssertionLevel, but as a constant bound to `false`. This
way, any code trying to modify it, or to compare it against an integer, will
run into an error.

Coverage Stats

214231 of 298036 relevant lines covered (71.88%)

4702528.25 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11259.8 (TEST_SUITES=testmanuals)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11259.8 (TEST_SUITES=testmanuals)

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

README BADGES
x