9
95%
develop: 95%

Ran 14 Jun 2018 03:31PM UTC

Files 311

Run time 47s

Badge

Embed ▾

Committed 14 Jun 2018 02:40PM UTC coverage: 78.056% (+1.1%) from 76.968%

Job # 107.9

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

LearnLib / learnlib / 107 / 9
95%
develop: 95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 107.9

LearnLib / learnlib / 107 / 9 95% develop: 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 107.9

LearnLib / learnlib / 107 / 9
95%
develop: 95%

README BADGES
x