gap-system / gap / 10032 / 9
4%
master: 4%

DEFAULT BRANCH: master
Ran
Files 635
Run time 45s
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: 60.67% (-0.003%) from 60.673%
TEST_SUITES=testbugfix CONFIGFLAGS="--enable-memory-checking"

push

travis-ci

ChrisJefferson 
Remove CommandLineOptionsPrev and InitFilesPrev from GAPInfo

These variables have been set since GAP 4.5, but never used or
documented

174012 of 286815 relevant lines covered (60.67%)

3216196.7 hits per line

Source Files on job 10032.9 (TEST_SUITES=testbugfix CONFIGFLAGS="--enable-memory-checking")