LearnLib / learnlib / 157
95%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 329
Run time 17s
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
157

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

Jobs
ID Job ID Ran Files Coverage
6 157.6 0
83.72
 Travis Job 157.6
Source Files on build 157
Detailed source file information is not available for this build.