13
4%
master: 4%

Ran 07 Nov 2019 08:03PM UTC

Files 650

Run time 1min

Badge

Embed ▾

Committed 07 Nov 2019 06:50PM UTC coverage: 72.963%. Remained the same

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

Build Type

push

travis-ci

Committed by

fingolfin

Commit Message

HPC-GAP: Fix CloseInput() in threads without stdin

This fixes a bug where a task (which has no stdin) tries to use Read():
This works, until the point where GAP tries to close the file it just
read, at which point the check modified in this patch triggered an
error.

Run Details

229034 of 313905 relevant lines covered (72.96%)

720666.62 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x