13
4%
master: 4%

Ran 05 Jun 2019 10:26PM UTC

Files 649

Run time 37s

Badge

Embed ▾

Committed 05 Jun 2019 09:02PM UTC coverage: 74.391% (-0.001%) from 74.392%

Job # TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror"

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

kernel: remove MakeImmutableString

This was simply an alias for MakeImmutableNoRecurse, and calling
it was a very minor (mostly: pointless) optimization compared to
calling the more generic MakeImmutable.

But crucially, the name was rather misleading, in particular when
compared to MakeImmString.

So, let's avoid some potential confusion (and the resulting source
of bugs) with a teeny weeny de-optimization (that won't even be
noticeable in practice).

Run Details

232461 of 312484 relevant lines covered (74.39%)

689590.39 hits per line

gap-system / gap / 10007 / 13
4%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10007.13 (TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror")

gap-system / gap / 10007 / 13 4% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10007.13 (TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror")

gap-system / gap / 10007 / 13
4%
master: 4%

README BADGES
x