107
95%

Ran 14 Jun 2018 03:31PM UTC

Jobs 1

Files 311

Run time 51s

Badge

Embed ▾

pending completion

Build # 107

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

oracles: some cleanups + tests

- the RandomWellMatchedWordsEQOracle now uses the alphabet passed in the
  #findCounterexample method to generate test words
- DFA/Mealy variants of the CompleteExplorationEQOracle now directly inherit
  from/delegate to super class
- added tests for RandomWord and SampleSet EQ oracles (with more to come)

Run Details

7203 of 9228 relevant lines covered (78.06%)

1.42 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
9	107.9	14 Jun 2018 03:31PM UTC	0	78.06	Travis Job 107.9

Source Files on build 107

Detailed source file information is not available for this build.

LearnLib / learnlib / 107
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 107

LearnLib / learnlib / 107 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 107

LearnLib / learnlib / 107
95%

README BADGES
x