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

DEFAULT BRANCH: develop
Ran
Files 329
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: 83.718% (-0.4%) from 84.156%
157.6

push

travis-ci

mtf90 
added support for resumable caches

- this includes a refactoring of `ResumableLearner` to `Resumable`
- the `SymbolQueryCache` now uses a `CompactMealy` internally instead of a `FastMealy`

8155 of 9741 relevant lines covered (83.72%)

1.45 hits per line

Source Files on job 157.6