159
95%

Ran 11 Feb 2019 09:52AM UTC

Jobs 1

Files 332

Run time 23s

Badge

Embed ▾

pending completion

Build # 159

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

add caches for systems with state-local inputs

this also introduces "regular" Mealy caches with dynamic memory allocation (thus not requiring an initial alphabet) and updates to the SLI example (2) to reflect the usage of the new cache.

Run Details

8227 of 9818 relevant lines covered (83.8%)

1.45 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
6	159.6	11 Feb 2019 09:52AM UTC	0	83.8	Travis Job 159.6

Source Files on build 159

Detailed source file information is not available for this build.

LearnLib / learnlib / 159
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 159

LearnLib / learnlib / 159 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 159

LearnLib / learnlib / 159
95%

README BADGES
x