Skip to content
Run Examples

Assertion to check underapproximation when resolving indirect calls #417

Sign in to view logs

Assertion to check underapproximation when resolving indirect calls

Assertion to check underapproximation when resolving indirect calls #417

Triggered via pull request August 6, 2024 03:31
@l-kentl-kent
opened #228
indirect-calls-assert
Status Success
Total duration 15m 38s
Artifacts 1

run-examples.yml

on: pull_request
CompileAndTest
2m 4s
CompileAndTest
SystemTests
15m 29s
SystemTests
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
testresult-417
6.27 KB