Closed yuxincs closed 5 months ago
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 87.55%. Comparing base (
885be9d
) to head (422fc25
).
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
[!NOTE]
✅ NilAway errors reported on standard libraries are identical.3296 errors on base branch (main, 885be9d) 3296 errors on test branch (995a6d8)
Actually, instead of doing hacky postfixes in NilAway, we should just fix ctrlflow
analyzer: https://github.com/golang/tools/pull/497
Will repurpose this PR to just introduce those valuable test cases instead :)
This PR adds more test cases to test NilAway's ability to handle no-return functions (such as
os.Exit
,runtime.Goexit
,testing.T.SkipNow
etc.).