4
4%
master: 4%

Ran 15 Nov 2019 03:25PM UTC

Files 648

Run time 2min

Badge

Embed ▾

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

Job # TEST_SUITES="testpackages testinstall-loadall" ABI=64

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

230865 of 315689 relevant lines covered (73.13%)

2443904.14 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10924.4 (TEST_SUITES="testpackages testinstall-loadall" ABI=64)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10924.4 (TEST_SUITES="testpackages testinstall-loadall" ABI=64)

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

README BADGES
x