#1035
93%

Ran 14 Jan 2023 01:55AM UTC

Jobs 1

Files 78

Run time 2s

Badge

Embed ▾

pending completion

Build # #1035

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Update region selection for initialization errors. (#713)

This PR updates region selection for initialization errors. Previously, the `null` region was selected for all initialization errors (`METHOD_NO_INIT` and `FIELD_NO_INIT`).  This PR updates the selection logic to choose the actual constructor or the uninitialized field as the region which the error is reported.

Co-authored-by: Manu Sridharan <msridhar@gmail.com>

Run Details

5207 of 5601 relevant lines covered (92.97%)

0.93 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#1035.1	14 Jan 2023 01:55AM UTC	0	92.97

Source Files on build #1035

Detailed source file information is not available for this build.

uber / NullAway / #1035
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1035

uber / NullAway / #1035 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1035

uber / NullAway / #1035
93%

README BADGES
x