gap-system / gap / 9368 / 8
4%
master: 4%

DEFAULT BRANCH: master
Ran
Files 633
Run time 2min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 60.487% (-0.001%) from 60.488%
TEST_SUITES=testbugfix

push

travis-ci

fingolfin 
Use TmpNameAllArchs instead of TmpName

Otherwise, TmpName produces a non-existing path on Windows.
Closes #3309

172936 of 285905 relevant lines covered (60.49%)

4792055.92 hits per line

Source Files on job 9368.8 (TEST_SUITES=testbugfix)