6
95%
develop: 95%

Ran 13 Jan 2019 09:53PM UTC

Files 328

Run time 15s

Badge

Embed ▾

Committed 13 Jan 2019 09:27PM UTC coverage: 83.175% (+0.7%) from 82.492%

Job # 152.6

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

LearnLib / learnlib / 152 / 6
95%
develop: 95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 152.6

LearnLib / learnlib / 152 / 6 95% develop: 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 152.6

LearnLib / learnlib / 152 / 6
95%
develop: 95%

README BADGES
x