2
93%
develop: 93%

Ran 01 Mar 2018 12:45PM UTC

Files 419

Run time 14s

Badge

Embed ▾

Committed 01 Mar 2018 12:37PM UTC coverage: 60.619% (+0.08%) from 60.54%

Job # 80.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 getProperty() methods have been reworked to only
  accept keys from this new enum.
- Added a test for correctly parsing file and system properties

Run Details

8046 of 13273 relevant lines covered (60.62%)

1.74 hits per line

LearnLib / automatalib / 80 / 2
93%
develop: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 80.2

LearnLib / automatalib / 80 / 2 93% develop: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 80.2

LearnLib / automatalib / 80 / 2
93%
develop: 93%

README BADGES
x