Skip to content
Cargo Audit

Make Kani reject mutable pointer casts if padding is incompatible and memory initialization is checked #5788

Sign in to view logs

Make Kani reject mutable pointer casts if padding is incompatible and memory initialization is checked

Make Kani reject mutable pointer casts if padding is incompatible and memory initialization is checked #5788

Triggered via pull request July 9, 2024 15:13
@artemagvanianartemagvanian
synchronize #3332
artemagvanian:reject-mut-ptr-casts
Status Success
Total duration 1m 10s
Artifacts –

audit.yml

on: pull_request
audit
51s
audit
Fit to window
Zoom out
Zoom in