d-plaindoux / thicket / 272 / 1
88%
master: 88%

DEFAULT BRANCH: master
Ran
Files 33
Run time 2s
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: 90.47% (-0.7%) from 91.167%
272.1

push

travis-ci

d-plaindoux 
Switch to the execution model based on the Krivine abstract machine - in progress

1481 of 1637 relevant lines covered (90.47%)

19818.99 hits per line

Source Files on job 272.1