LearnLib / automatalib / 86 / 5
93%
develop: 93%

DEFAULT BRANCH: develop
Ran
Files 419
Run time 16s
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: 60.619%. Remained the same
86.5

push

travis-ci

mtf90 
travis: config updates

- yet another try at setting JDK spefic environment variables
- removed --fail-at-end flag, because it makes it hard to see where the actual
  error happened in the logs

8046 of 13273 relevant lines covered (60.62%)

1.13 hits per line

Source Files on job 86.5