Skip to content
Back to pull request #132

Non-deterministic GoTos for indirect call resolution #128

Sign in to view logs

Non-deterministic GoTos for indirect call resolution

Non-deterministic GoTos for indirect call resolution #128

Triggered via pull request November 6, 2023 01:14
@l-kentl-kent
synchronize #132
indirect-calls-nondet
Status Success
Total duration 3m 22s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

run-examples.yml

on: pull_request
test
3m 12s
test
Fit to window
Zoom out
Zoom in