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

DEFAULT BRANCH: master
Ran
Files 650
Run time 38s
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: 72.951% (-0.006%) from 72.957%
TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror"

push

travis-ci

fingolfin 
ENHANCE: Avoid tietze simplification on presentation for 2-cohom

as the code might hang in the kernel.

229014 of 313928 relevant lines covered (72.95%)

720831.66 hits per line

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