58
95%

Ran 11 Dec 2017 01:47PM UTC

Jobs 2

Files 279

Run time 49s

Badge

Embed ▾

pending completion

Build # 58

Build Type

push

travis-ci

Committed by

aschieweck

Commit Message

EQ Oracle refactoring / clean ups.

Changed the order of type parameters to always start with an Automata when needed (<I, D, A> -> <A, I, D>).
All constructors now have the membership oracle as their first parameter.
Added a bunch of DFA and Mealy versions of the oracles for easier (and type correct) use.
Added the Random Word and Complete Exploration Oracle to the EquivalenceQueries factory.

Run Details

6233 of 8651 relevant lines covered (72.05%)

4.04 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	58.1	11 Dec 2017 01:48PM UTC	0	72.05	Travis Job 58.1
2	58.2	11 Dec 2017 01:47PM UTC	0	72.05	Travis Job 58.2

Source Files on build 58

Detailed source file information is not available for this build.

LearnLib / learnlib / 58
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 58

LearnLib / learnlib / 58 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 58

LearnLib / learnlib / 58
95%

README BADGES
x