9
4%
master: 4%

Ran 15 Nov 2019 03:38PM UTC

Files 634

Run time 1min

Badge

Embed ▾

Committed 15 Nov 2019 02:14PM UTC coverage: 60.543%. Remained the same

Job # TEST_SUITES=testbugfix CONFIGFLAGS="--enable-memory-checking"

Build Type

push

travis-ci

Committed by

ChrisJefferson

Commit Message

kernel: add new header gap_all.h

So far, most package kernel extensions `#include "compiled.h"` in order
to conveniently get access to (almost) all source headers of GAP at once
(which is nice for us because it means we are free to rename headers or
move stuff around between them without breaking kernel extensions).

But the result is rather counterintuitive: if one is not familiar with
this, seeing `#include "compiled.h"` in code is not at all clear. Also,
the original of `compiled.h` was to be included by C code generated by
`gac`, and it contains stuff we'd rather not encourage others to use.

Thus, add a new header `gap_all.h` containing all `#include` statements
formerly found in `compiled.h` -- this resolves all concerns.

Run Details

174474 of 288181 relevant lines covered (60.54%)

2759835.26 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x