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

Run time

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