gap-system / gap / 404
4%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 3
Run time 1s
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
404

Pull #192

travis-ci

Steve Linton 
Correct order of arguments in call to IntrElmListLevel, fixes bug report by @fingolfin
Pull Request #192: Enhanced list indexing

131 of 159 relevant lines covered (82.39%)

0.82 hits per line

Jobs
ID Job ID Ran Files Coverage
5 404.5 (TEST_SUITE=testbugfix) 0
82.39
 Travis Job 404.5
Source Files on build 404
Detailed source file information is not available for this build.