LearnLib / learnlib / 28967372161
95%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 583
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: 95.178% (+0.05%) from 95.128%
28967372161

push

github

web-flow 
Enforce `LearningAlgorithm` contracts more rigorously (#163)

* first chunk of regular learners

* add non-regular learners

* share common functionality in utility interface

* formatting

* add changelog

87 of 88 new or added lines in 33 files covered. (98.86%)

14724 of 15470 relevant lines covered (95.18%)

1.74 hits per line

Uncovered Changes

Lines Coverage ∆ File
1
97.2
 0.05% algorithms/active/dhc/src/main/java/de/learnlib/algorithm/dhc/mealy/MealyDHC.java
Jobs
ID Job ID Ran Files Coverage
1 28967372161.1 583
95.18
Source Files on build 28967372161