LearnLib / learnlib / 162 / 6
94%
develop: 95%

LAST BUILD BRANCH: sparse
DEFAULT BRANCH: develop
Ran
Files 332
Run time 1min
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: 83.795% (+11.4%) from 72.358%
162.6

push

travis-ci

mtf90 
switch to AutomataLib release 0.8.0

8227 of 9818 relevant lines covered (83.8%)

1.45 hits per line

Source Files on job 162.6