dubzzz / jsverify-commands / 88 / 2
95%
master: 95%

DEFAULT BRANCH: master
Ran
Files 6
Run time 0s
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: 88.053% (+3.5%) from 84.513%
88.2

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%)

1231.78 hits per line

Source Files on job 88.2