2
93%
develop: 93%

Ran 21 Oct 2017 03:26PM UTC

Files 399

Run time 13s

Badge

Embed ▾

Committed 21 Oct 2017 03:20PM UTC coverage: 42.738% (+0.02%) from 42.715%

Job # 28.2

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

DFA: call correct method in computeSuffixOutput

delegating to the more general method of output automata yields exceptions
for undefined transitions, because arbitrary outputs cannot be computed for
non-existing transitions.

However, for DFAs we have a more specific semantic (acceptance), therefore
delegate to the more precise NFA variant.

Run Details

5488 of 12841 relevant lines covered (42.74%)

0.43 hits per line

LearnLib / automatalib / 28 / 2
93%
develop: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 28.2

LearnLib / automatalib / 28 / 2 93% develop: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 28.2

LearnLib / automatalib / 28 / 2
93%
develop: 93%

README BADGES
x