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

DEFAULT BRANCH: master
Ran
Files 648
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: 77.216% (-0.004%) from 77.22%
TEST_SUITES="docomp testtravis"

push

travis-ci

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

as the code might hang in the kernel.

243728 of 315644 relevant lines covered (77.22%)

10541936.97 hits per line

Source Files on job 10880.1 (TEST_SUITES="docomp testtravis")