LearnLib / learnlib / 1030006732 / 1
95%
develop: 95%

DEFAULT BRANCH: develop
Ran
Files 406
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: 90.975% (+0.02%) from 90.96%
1030006732.1

push

github

Markus Frohme 
caches: correctly handle in-batch duplicates for DFAs

fixes #78

9526 of 10471 relevant lines covered (90.98%)

1.63 hits per line

Source Files on job 1030006732.1