9
85%
master: 4%

Ran 15 Nov 2019 04:32PM UTC

Files 635

Run time 1min

Badge

Embed ▾

Committed 15 Nov 2019 03:19PM UTC coverage: 60.491% (-0.008%) from 60.499%

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

Build Type

push

travis-ci

Committed by

fingolfin

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.

Coverage Stats

174447 of 288383 relevant lines covered (60.49%)

2739246.12 hits per line

gap-system / gap / 10925 / 9
85%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

gap-system / gap / 10925 / 9 85% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

gap-system / gap / 10925 / 9
85%
master: 4%

README BADGES
x