225
93%

Ran 11 Nov 2019 12:33AM UTC

Jobs 1

Files 558

Run time 26s

Badge

Embed ▾

pending completion

Build # 225

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

some updates to checkerframework integration

* bump to version 3.0.0
* enable analysis of more usages
  * fix some newly detected issues and cleanup some redundant null checks
  * this introduces some new complaints of the map key checker where detecting the correctness of keys is hard

Run Details

10897 of 13505 relevant lines covered (80.69%)

1.46 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
6	225.6	11 Nov 2019 12:33AM UTC	0	80.69	Travis Job 225.6

Source Files on build 225

Detailed source file information is not available for this build.

LearnLib / automatalib / 225
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 225

LearnLib / automatalib / 225 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 225

LearnLib / automatalib / 225
93%

README BADGES
x