4
95%
develop: 95%

Ran 20 Oct 2018 06:04PM UTC

Files 318

Run time 14s

Badge

Embed ▾

Committed 20 Oct 2018 05:28PM UTC coverage: 84.304% (+0.3%) from 83.993%

Job # 139.4

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

improvements/cleanups to parallel oracles

- fixed a bug, where the cached DynamicParallelOracle would not spawn additional threads
- changed default timeout of cached threads to 60 seconds (down from 100 seconds)
- removed several "withDefault*" methods on oracle builders
- removed ParallelOracleBuilder methods which take only a single oracle
- added convenience method to create a DynamicParallelOracle given a collection of oracles
- added documentation
- added test cases

Run Details

7718 of 9155 relevant lines covered (84.3%)

1.51 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 139.4

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 139.4

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

README BADGES
x