LearnLib / learnlib / 209 / 6
95%
develop: 95%

DEFAULT BRANCH: develop
Ran
Files 375
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: 90.063% (+0.2%) from 89.868%
LTSMIN_VERSION=v3.1.0

push

travis-ci

mtf90 
rework parallel oracles

see comments in changelog

8574 of 9520 relevant lines covered (90.06%)

1.6 hits per line

Source Files on job 209.6 (LTSMIN_VERSION=v3.1.0)