6
93%
develop: 93%

Ran 11 Feb 2019 09:40AM UTC

Files 467

Run time 32s

Badge

Embed ▾

Committed 11 Feb 2019 09:24AM UTC coverage: 75.349% (+0.03%) from 75.319%

Job # 179.6

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

LearnLib / automatalib / 179 / 6
93%
develop: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 179.6

LearnLib / automatalib / 179 / 6 93% develop: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 179.6

LearnLib / automatalib / 179 / 6
93%
develop: 93%

README BADGES
x