#681
93%

Ran 06 Jan 2022 08:19PM UTC

Jobs 1

Files 55

Run time 10s

Badge

Embed ▾

pending completion

Build # #681

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Add test case for unsound map reassignment handling (#541)

It might be useful to have a suite of test cases showing where NullAway is unsound, for documentation purposes.  Here I just add one for re-assigning a `Map` variable, but we could easily add more in the future.

Run Details

4107 of 4580 relevant lines covered (89.67%)

0.9 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#681.1	06 Jan 2022 08:19PM UTC	0	89.67

Source Files on build #681

Detailed source file information is not available for this build.

uber / NullAway / #681
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #681

uber / NullAway / #681 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #681

uber / NullAway / #681
93%

README BADGES
x