Skip to content
Back to pull request #1176

Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis #6080

Sign in to view logs

Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis

Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis #6080

Triggered via pull request September 19, 2023 14:50
@sim642sim642
opened #1176
race-null
Status Success
Total duration 20s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

options.yml

on: pull_request
Matrix: validate-conf
Fit to window
Zoom out
Zoom in