LearnLib / learnlib / 4952951537
95%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 446
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
4952951537

push

github

Markus Frohme 
fix bug in counterexample analysis of TTTLearnerMoore

11 of 11 new or added lines in 2 files covered. (100.0%)

10340 of 11295 relevant lines covered (91.54%)

1.65 hits per line

Jobs
ID Job ID Ran Files Coverage
1 4952951537.1 0
91.54
Source Files on build 4952951537
Detailed source file information is not available for this build.