169
95%

Ran 09 May 2019 02:40PM UTC

Jobs 1

Files 332

Run time 23s

Badge

Embed ▾

pending completion

Build # 169

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

Jobs

ID	Job ID	Ran	Files	Coverage
6	169.6	09 May 2019 02:40PM UTC	0	83.8	Travis Job 169.6

Source Files on build 169

Detailed source file information is not available for this build.

LearnLib / learnlib / 169
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 169

LearnLib / learnlib / 169 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 169

LearnLib / learnlib / 169
95%

README BADGES
x