28
93%

Ran 21 Oct 2017 03:26PM UTC

Jobs 2

Files 399

Run time 19s

Badge

Embed ▾

pending completion

Build # 28

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.85 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	28.1	21 Oct 2017 03:26PM UTC	0	42.74	Travis Job 28.1
2	28.2	21 Oct 2017 03:26PM UTC	0	42.74	Travis Job 28.2

Source Files on build 28

Detailed source file information is not available for this build.

LearnLib / automatalib / 28
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 28

LearnLib / automatalib / 28 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 28

LearnLib / automatalib / 28
93%

README BADGES
x