dubzzz / jsverify-commands / 88
95%

DEFAULT BRANCH: master
Ran
Jobs 3
Files 6
Run time 33s
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
88

push

travis-ci

dubzzz 
add tests for forall

44 of 57 branches covered (77.19%)

Branch coverage included in aggregate %.

155 of 169 relevant lines covered (91.72%)

3531.91 hits per line

Jobs
ID Job ID Ran Files Coverage
1 88.1 0
88.05
 Travis Job 88.1
2 88.2 0
88.05
 Travis Job 88.2
3 88.3 0
88.05
 Travis Job 88.3
Source Files on build 88
Detailed source file information is not available for this build.