6
95%
develop: 95%

Ran 11 Aug 2019 10:59PM UTC

Files 365

Run time 1min

Badge

Embed ▾

Committed 10 Aug 2019 02:03PM UTC coverage: 89.82% (-0.001%) from 89.821%

Job # 186.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

Closes #63

Run Details

8664 of 9646 relevant lines covered (89.82%)

1.58 hits per line

LearnLib / learnlib / 186 / 6
95%
develop: 95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 186.6

LearnLib / learnlib / 186 / 6 95% develop: 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 186.6

LearnLib / learnlib / 186 / 6
95%
develop: 95%

README BADGES
x