2
95%
develop: 95%

Ran 01 Mar 2018 02:31PM UTC

Files 312

Run time 10s

Badge

Embed ▾

Committed 01 Mar 2018 02:06PM UTC coverage: 74.765% (+0.06%) from 74.708%

Job # 86.2

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

Rework settings implementation

- Aggregate currently used system properties in an enum, which allows to have a central
  place for managing supported properties (also as a reference for end-users) and to
  prevent typos in future code. The getProperties() methods have been reworked to only
  accept keys from this new enum.
- Unified/refactored some properties (e.g. the pool_policy has been renamed, pool_size
  has been unified)
- Added a test for correctly parsing file and system properties
- Switched to MetaInfServices annotation processor, instead of manually declaring services

Run Details

6912 of 9245 relevant lines covered (74.76%)

2.1 hits per line

LearnLib / learnlib / 86 / 2
95%
develop: 95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 86.2

LearnLib / learnlib / 86 / 2 95% develop: 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 86.2

LearnLib / learnlib / 86 / 2
95%
develop: 95%

README BADGES
x