Skip to content
Run Examples

Non-deterministic GoTos for indirect call resolution #126

Sign in to view logs

Non-deterministic GoTos for indirect call resolution

Non-deterministic GoTos for indirect call resolution #126

Triggered via pull request November 2, 2023 23:19
@l-kentl-kent
synchronize #132
indirect-calls-nondet
Status Success
Total duration 2m 26s
Artifacts –

run-examples.yml

on: pull_request
test
2m 17s
test
Fit to window
Zoom out
Zoom in