LearnLib / automatalib / 103 / 9
93%
develop: 93%

DEFAULT BRANCH: develop
Ran
Files 420
Run time 21s
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.589%. Remained the same
103.9

push

travis-ci

mtf90 
bump PMD plugin version

for JDK10 compatibility

8082 of 13339 relevant lines covered (60.59%)

1.13 hits per line

Source Files on job 103.9