152
95%

Ran 13 Jan 2019 09:53PM UTC

Jobs 1

Files 328

Run time 16s

Badge

Embed ▾

pending completion

Build # 152

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

Localalphabet (#58)

Reintegrates the (slightly revised) code of Maren Geske's master thesis on inferring partial mealy machines when state-local alphabets are available.

Contains most of the core algorithm plus additional tests, examples and utilities. Some work, such as caches (which mostly affects AutomataLib), still needs to be reintegrated.

Run Details

8038 of 9664 relevant lines covered (83.17%)

1.45 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
6	152.6	13 Jan 2019 09:53PM UTC	0	83.17	Travis Job 152.6

Source Files on build 152

Detailed source file information is not available for this build.

LearnLib / learnlib / 152
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 152

LearnLib / learnlib / 152 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 152

LearnLib / learnlib / 152
95%

README BADGES
x