Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

JSpecify: Reason about nullability of reads from arrays #875

Merged
merged 13 commits into from
Feb 6, 2024
+74 −6

improve docs and minor fix

87d3cc6
Select commit
Loading
Failed to load commit list.
Merged

JSpecify: Reason about nullability of reads from arrays #875

improve docs and minor fix
87d3cc6
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project failed Feb 6, 2024 in 0s

86.96% (-0.02%) compared to 3fc9b8a

View this Pull Request on Codecov

86.96% (-0.02%) compared to 3fc9b8a

Details

Codecov Report

Attention: 5 lines in your changes are missing coverage. Please review.

Comparison is base (3fc9b8a) 86.98% compared to head (87d3cc6) 86.96%.
Report is 1 commits behind head on master.

Files Patch % Lines
...c/main/java/com/uber/nullaway/NullabilityUtil.java 62.50% 1 Missing and 2 partials ⚠️
...away/src/main/java/com/uber/nullaway/NullAway.java 87.50% 0 Missing and 1 partial ⚠️
...llaway/dataflow/AccessPathNullnessPropagation.java 85.71% 0 Missing and 1 partial ⚠️
Additional details and impacted files 
@@             Coverage Diff              @@
##             master     #875      +/-   ##
============================================
- Coverage     86.98%   86.96%   -0.02%     
- Complexity     1959     1967       +8     
============================================
  Files            77       77              
  Lines          6330     6352      +22     
  Branches       1223     1231       +8     
============================================
+ Hits           5506     5524      +18     
- Misses          420      421       +1     
- Partials        404      407       +3

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

View more details on Codecov