Skip to content
Cargo Audit

[Boogie Backend] Use the original names of variables when generating … #4339

Sign in to view logs

[Boogie Backend] Use the original names of variables when generating …

[Boogie Backend] Use the original names of variables when generating … #4339

Triggered via push December 4, 2023 17:22
@zhassan-awszhassan-aws
pushed d518ae1
features/boogie
Status Success
Total duration 1m 38s
Artifacts –

audit.yml

on: push
audit
1m 26s
audit
Fit to window
Zoom out
Zoom in