140
95%

Ran 21 Oct 2018 08:41PM UTC

Jobs 1

Files 318

Run time 13s

Badge

Embed ▾

pending completion

Build # 140

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

Aggregate membership queries in DT-based learners

Refactors several DT-based learning algorithms (KV, DT [+VPDA variant], TTT [+VPDA variant]) to collect and prepare as many queries as possible before posing them to a membership oracle. The goal of this change is to allow for a better parallelization in case a parallel oracle is used (which can only split a given batch onto different oracle instances).

This also includes some refactorings among the discrimination tree implementations to share as much code as possible.

fixes #55

Run Details

7848 of 9278 relevant lines covered (84.59%)

1.51 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
4	140.4	21 Oct 2018 08:41PM UTC	0	84.59	Travis Job 140.4

Source Files on build 140

Detailed source file information is not available for this build.

LearnLib / learnlib / 140
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 140

LearnLib / learnlib / 140 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 140

LearnLib / learnlib / 140
95%

README BADGES
x