1
95%
develop: 95%

Ran 21 Nov 2017 02:11PM UTC

Files 275

Run time 10s

Badge

Embed ▾

Committed 21 Nov 2017 01:29PM UTC coverage: 72.055% (+0.1%) from 71.931%

Job # 45.1

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

Don't blindly transform alphabets to GrowingAlphabets

Previously, we delibrately copied a given input alphabet to a
GrowingAlphabet. This introduced a performance cost for everyone,
even if this feature was not used. With this change, we only copy
the alphabet on the first utilization of this feature. Additionally,
we perform a defensive copy, i.e. if the user already provided a
(potentially optimized) GrowingAlphabet instance, we do not copy any
alphabets at all.

Run Details

6232 of 8649 relevant lines covered (72.05%)

2.06 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 45.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 45.1

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

README BADGES
x