179
93%

Ran 11 Feb 2019 09:40AM UTC

Jobs 1

Files 467

Run time 33s

Badge

Embed ▾

pending completion

Build # 179

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

add a specific incremental OutputAndLocalInputs implementation

Add an incremental version specificly for systems with observable inputs symbols. This furthermore adds a "DynamicIncrementalTreeBuilder" since the concept of "dynamic" alphabets may be used in other contextes as well.

Run Details

10194 of 13529 relevant lines covered (75.35%)

1.37 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
6	179.6	11 Feb 2019 09:40AM UTC	0	75.35	Travis Job 179.6

Source Files on build 179

Detailed source file information is not available for this build.

LearnLib / automatalib / 179
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 179

LearnLib / automatalib / 179 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 179

LearnLib / automatalib / 179
93%

README BADGES
x