6
93%
develop: 93%

Ran 11 Aug 2019 10:42PM UTC

Files 559

Run time 1min

Badge

Embed ▾

Committed 09 Aug 2019 11:46PM UTC coverage: 80.598% (-0.002%) from 80.6%

Job # 219.6

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

replace JSR305 annotations with Checkerframework annotations

* replace old annotations 1:1 where possible
* remove annotations which have no counterpart (regarding ParametersAreNonnullByDefault we follow Checkerframeworks convention, that (unannotated) parameters are NonNull by default)
* exclude jsr305 dependency from guava dependency
* bump spotbugs plugin to 3.1.12.2 to correctly read type annotations

This is the major chunk for #33, although we still require a new duzzt version to completely get rid of non-default javax annotations.

Run Details

10805 of 13406 relevant lines covered (80.6%)

1.46 hits per line

LearnLib / automatalib / 219 / 6
93%
develop: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 219.6

LearnLib / automatalib / 219 / 6 93% develop: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 219.6

LearnLib / automatalib / 219 / 6
93%
develop: 93%

README BADGES
x