4
95%
develop: 95%

Ran 21 Oct 2018 08:41PM UTC

Files 318

Run time 12s

Badge

Embed ▾

Committed 21 Oct 2018 07:36PM UTC coverage: 84.587% (+0.3%) from 84.304%

Job # 140.4

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

LearnLib / learnlib / 140 / 4
95%
develop: 95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 140.4

LearnLib / learnlib / 140 / 4 95% develop: 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 140.4

LearnLib / learnlib / 140 / 4
95%
develop: 95%

README BADGES
x