Skip to content
Run Examples

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test
3m 10s
3m 10s