LearnLib / learnlib / 92 / 5
95%
develop: 95%

DEFAULT BRANCH: develop
Ran
Files 312
Run time 10s
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: 75.478%. Remained the same
92.5

push

travis-ci

mtf90 
travis: also build release branch

Also setup travis to clone the corresponding branch of AutomataLib, so that
e.g. building the release branch also uses the release branch of AutomataLib.

6987 of 9257 relevant lines covered (75.48%)

1.37 hits per line

Source Files on job 92.5