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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
audit
51s
51s