6
95%
develop: 95%

Ran 09 May 2019 02:40PM UTC

Files 332

Run time 21s

Badge

Embed ▾

Committed 09 May 2019 02:09PM UTC coverage: 83.801% (-0.04%) from 83.839%

Job # 169.6

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

oracles: allow size estimate for W{,p}Method oracles

Allows to provide an additional parameter for the estimated size of the system under learning, which is used to dynamically adjust the size of the middle part of the W{,p} method test sequence generation throughout the learning process.

Note, this could break existing code, because the second int parameter used in the constructor no longer determines the batch size, but the estimated size.

fixes LearnLib/automatalib#32

Run Details

8236 of 9828 relevant lines covered (83.8%)

1.45 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 169.6

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 169.6

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

README BADGES
x