uber / NullAway / #721
93%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 55
Run time 10s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
#721

push

github-actions

web-flow 
Reason about iterating over a map's key set using an enhanced for loop (#554)

Fixes #535 

Uses the strategy outlined in this comment: https://github.com/uber/NullAway/issues/535#issuecomment-1006811236

4200 of 4693 relevant lines covered (89.49%)

0.89 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
6
96.17
 1.26% ../nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPath.java
9
89.02
 1.19% ../nullaway/src/main/java/com/uber/nullaway/dataflow/NullnessStore.java
29
90.07
 -0.05% ../nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessPropagation.java
Jobs
ID Job ID Ran Files Coverage
1 #721.1 55
89.49
Source Files on build #721