86
95%

Ran 01 Mar 2018 02:31PM UTC

Jobs 2

Files 312

Run time 1min

Badge

Embed ▾

pending completion

Build # 86

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%)

4.2 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	86.1	01 Mar 2018 02:32PM UTC	0	74.76	Travis Job 86.1
2	86.2	01 Mar 2018 02:31PM UTC	0	74.76	Travis Job 86.2

Source Files on build 86

Detailed source file information is not available for this build.

LearnLib / learnlib / 86
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 86

LearnLib / learnlib / 86 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 86

LearnLib / learnlib / 86
95%

README BADGES
x