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

DEFAULT BRANCH: master
Ran
Files 646
Run time 41s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 71.882% (-0.001%) from 71.883%
TEST_SUITES=testmanuals

push

travis-ci

fingolfin 
kernel: don't bother resetting CurrLVars in IntrAbortCoding

This is not necessary because shortly afterwards we call IntrEnd which resets
the CurrLVars anyway.

214355 of 298203 relevant lines covered (71.88%)

4692436.65 hits per line

Source Files on job 11351.8 (TEST_SUITES=testmanuals)