1
4%
master: 4%

Ran 05 Jan 2020 12:51PM UTC

Files 651

Run time 541min

Badge

Embed ▾

Committed 05 Jan 2020 12:00PM UTC coverage: 77.3%. Remained the same

Job # TEST_SUITES="docomp teststandard"

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

244299 of 316042 relevant lines covered (77.3%)

10619447.74 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11259.1 (TEST_SUITES="docomp teststandard")

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11259.1 (TEST_SUITES="docomp teststandard")

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

README BADGES
x