5
95%
develop: 95%

Ran 26 Mar 2018 11:58AM UTC

Files 312

Run time 10s

Badge

Embed ▾

Committed 26 Mar 2018 11:21AM UTC coverage: 75.478% (-0.01%) from 75.492%

Job # 90.5

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

algorithms: correctly handle GrowingAlphabets

Fix the behaviour of the `addAlphabetSymbol` method if the learners were
initiliazed with a GrowingAlphabet already.

Previously, due to sharing the alphabet instance with the hypothesis
automaton, caching mechanisms prevented the correct propagation of the new
alphabet symbol.

Run Details

6987 of 9257 relevant lines covered (75.48%)

1.37 hits per line

LearnLib / learnlib / 90 / 5
95%
develop: 95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 90.5

LearnLib / learnlib / 90 / 5 95% develop: 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 90.5

LearnLib / learnlib / 90 / 5
95%
develop: 95%

README BADGES
x