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

DEFAULT BRANCH: master
Ran
Files 645
Run time 34s
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: 76.888% (-0.004%) from 76.892%
TEST_SUITES="docomp testtravis"

push

travis-ci

fingolfin 
kernel: fix assertion in FreeLVarsBag

However, since we only ever call FreeLVarsBag with argument STATE(CurrLVars),
this change doesn't really have any effect...

240422 of 312690 relevant lines covered (76.89%)

7560615.31 hits per line

Source Files on job 9110.1 (TEST_SUITES="docomp testtravis")