Skip to content
Run Examples

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

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 #115

Triggered via pull request October 30, 2023 04:10
@ailrstailrst
synchronize #131
extra-attributes
Status Success
Total duration 4m 9s
Artifacts –

run-examples.yml

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