gap-system / gap / 11259

4%

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.

Run Details

14 of 16 new or added lines in 4 files covered. (87.5%)

449 existing lines in 90 files now uncovered.

267805 of 317724 relevant lines covered (84.29%)

20444348.97 hits per line