Skip to content
Run Examples

Add extern attribute and captureState attribute to pass binary locations to boogie for better debugging #120

Sign in to view logs

Add extern attribute and captureState attribute to pass binary locations to boogie for better debugging

Add extern attribute and captureState attribute to pass binary locations to boogie for better debugging #120

Triggered via pull request November 1, 2023 00:19
@ailrstailrst
synchronize #131
extra-attributes
Status Success
Total duration 4m 4s
Artifacts –

run-examples.yml

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