139
95%

Ran 20 Oct 2018 06:04PM UTC

Jobs 1

Files 318

Run time 15s

Badge

Embed ▾

pending completion

Build # 139

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

Jobs

ID	Job ID	Ran	Files	Coverage
4	139.4	20 Oct 2018 06:04PM UTC	0	84.3	Travis Job 139.4

Source Files on build 139

Detailed source file information is not available for this build.

LearnLib / learnlib / 139
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 139

LearnLib / learnlib / 139 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 139

LearnLib / learnlib / 139
95%

README BADGES
x